§ 37.072 TYPES OF LEAVE.
   The following types of leave, and no other, are officially established:
   Annual leave.
   Sick leave.
   Leave for injury in line of duty.
   Compensatory leave.
   Military leave.
   Leave without pay.
   Holiday leave.
   Other absences.
('73 Code, § 7-37) (Ord. passed 10-5-70)