Index - T
| Term | Language.PTS.Term, Language.PTS |
| TermAnd | Language.PTS.Term, Language.PTS |
| TermBool | Language.PTS.Term, Language.PTS |
| TermBoolElim | Language.PTS.Term, Language.PTS |
| TermChk | Language.PTS.Term, Language.PTS |
| TermConv | Language.PTS.Smart, Language.PTS |
| TermFalse | Language.PTS.Term, Language.PTS |
| TermInf | Language.PTS.Term, Language.PTS |
| TermNat | Language.PTS.Term, Language.PTS |
| TermNatElim | Language.PTS.Term, Language.PTS |
| TermNatS | Language.PTS.Term, Language.PTS |
| TermNatZ | Language.PTS.Term, Language.PTS |
| TermPlus | Language.PTS.Term, Language.PTS |
| TermTimes | Language.PTS.Term, Language.PTS |
| TermTrue | Language.PTS.Term, Language.PTS |
| throwErr | Language.PTS.Error, Language.PTS |
| toScope | Language.PTS.Bound |
| toTermChk | Language.PTS.Smart, Language.PTS |
| toValueIntro | Language.PTS.Smart, Language.PTS |
| transverseScope | Language.PTS.Bound |
| triangle_ | Language.PTS.Specification, Language.PTS |
| TypeMismatch | Language.PTS.Error, Language.PTS |
| typeSort | Language.PTS.Specification, Language.PTS |
| typeSortSort | Language.PTS.Specification, Language.PTS |
| type_ | Language.PTS.Check, Language.PTS |