A statewide public retirement system that provides retirement, disability, and death benefits for employees of participating Texas municipalities.