Index - T
| Task | Twee.Task |
| Term | Twee.Term, Twee.Base |
| TermList | Twee.Term, Twee.Base |
| TermListOf | Twee.Base |
| TermOf | Twee.Base |
| terms | Twee.Base |
| termsDL | Twee.Base |
| TermStyle | |
| 1 (Type/Class) | Twee.Pretty, Twee.Base |
| 2 (Data Constructor) | Twee.Pretty, Twee.Base |
| termStyle | Twee.Pretty, Twee.Base |
| termSubst | Twee.CP |
| text | Twee.Pretty, Twee.Base |
| TextDetails | Twee.Pretty, Twee.Base |
| the | Twee.Base |
| toTerm | Twee.Constraints |
| Trans | |
| 1 (Data Constructor) | Twee.Proof |
| 2 (Data Constructor) | Twee.Rule |
| trans | |
| 1 (Function) | Twee.Proof |
| 2 (Function) | Twee.Rule |
| Triangle | Twee.Term, Twee.Base |
| TriangleSubst | Twee.Term, Twee.Base |
| TriangleSubstOf | Twee.Base |
| trivial | Twee.Equation |
| true | Twee.Constraints |
| trueBranch | Twee.Constraints |
| tryRule | Twee.Rule |
| tupleStyle | Twee.Pretty, Twee.Base |