The types of service creditable as credited service in the retirement system are prior service, current service, and optional service. A member may not be credited in this system with more than one month of credited service for a specific calendar month, regardless of the number of employers of the member, the positions held, or the types of service.
Tex. Gov't. Code § 843.001