That is considered Public:
Office of Retirement Services (michigan.gov)
Public pension system. See Michigan Office of Retirement Services