The service of an employee who is participating in a retirement benefit system may not be used to earn service credit, years of service, or for any other purpose by the fund.
IC 21-38-7-10
Pre-2007 Higher Education Recodification Citation: 21-6.1-8-2(d).