Teachers and state employees retirement system.
Creditable service. Armed service credit, §§135-4(f), (g).