Teachers retirement association service credit authorized fo r specified formerSt. Paul police officer.