Except for law enforcement officers, any member who has left service without withdrawing his accumulated contributions and who has a minimum of four (4) years of service is eligible to receive a retirement benefit computed according to the terms of this article, at the age specified in W.S. 9-3-415(a), (b) or (k). Law enforcement officers leaving service without withdrawing accumulated contributions and who have a minimum of four (4) years of service may receive a retirement benefit amount in accordance with W.S. 9-3-432. Firefighter members leaving service without withdrawing accumulated contributions and who have a minimum of four (4) years of service may receive a retirement benefit amount in accordance with W.S. 9-3-431.
W.S. 9-3-416