Index - T
| takeLeft | Twee.Queue |
| takeNext | Twee.Queue |
| takeRight | Twee.Queue |
| Term | |
| 1 (Type/Class) | Twee.Term.Core, Twee.Term, Twee.Base |
| 2 (Data Constructor) | Twee.Term.Core |
| term | Twee.Base |
| TermList | |
| 1 (Type/Class) | Twee.Term.Core, Twee.Term, Twee.Base |
| 2 (Data Constructor) | Twee.Term.Core |
| termlist | Twee.Term.Core |
| TermListOf | Twee.Base |
| termListToList | Twee.Term, 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 |
| text | Twee.Pretty, Twee.Base |
| TextDetails | Twee.Pretty, Twee.Base |
| then_ | Twee.Term.Core |
| to | Twee.Label |
| toCancellationRule | Twee |
| toCP | Twee |
| toCPs | Twee |
| toFun | Twee.Term, Twee.Base |
| toInt | Twee.Term, Twee.Base |
| toList | |
| 1 (Function) | Twee.Queue |
| 2 (Function) | Twee.Array |
| top | Twee |
| toSymbol | Twee.Term.Core |
| totalCPs | Twee |
| toTerm | Twee.Constraints |
| trace | Twee |
| traceIf | Twee |
| traceM | Twee |
| tracing | Twee |
| Trans | Twee.Rule |
| Triangle | Twee.Term, Twee.Base |
| TriangleSubst | Twee.Term, Twee.Base |
| Trivial | Twee |
| trivial | Twee.Rule |
| true | Twee.Constraints |
| trueBranch | Twee.Constraints |
| tryRule | Twee.Rule |
| tupleStyle | Twee.Pretty, Twee.Base |
| Twee | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |