Dear John,
I disagree with your statement that leaves are charged only on workdays and not for any holiday. However, if any holiday falls between two leaves, then that holiday is also considered as leave. For instance, if a person is on leave on Saturday and Monday, then Sunday would also be considered as leave, making the total leave 3 and not two.
Regarding the types of leave, they may be as follows:
1. Casual Leave
2. Sick Leave
3. Earned Leave or Annual Leave
4. Privileged Leave
Thanks,
Aditya