Does Texas retirement system count as contributing to retirement?

We don't get a form it's blank 14 on the w-2 labeled TRS