Index - T
| TermMap | |
| 1 (Type/Class) | AST.Term.Map |
| 2 (Data Constructor) | AST.Term.Map |
| tlIn | AST.Term.TypedLam |
| tlInType | AST.Term.TypedLam |
| tlOut | AST.Term.TypedLam |
| tnId | AST.Term.Nominal |
| tnVal | AST.Term.Nominal |
| ToNom | |
| 1 (Type/Class) | AST.Term.Nominal |
| 2 (Data Constructor) | AST.Term.Nominal |
| toScopeConstraints | AST.Unify.Constraints, AST.Unify |
| traverseK | AST.Class.Traversable, AST |
| traverseK1 | AST.Class.Traversable, AST |
| traverseK1_ | AST.Class.Foldable, AST |
| traverseK_ | AST.Class.Foldable, AST |
| Tree | AST.Knot, AST |
| tsTerm | AST.Term.TypeSig |
| tsType | AST.Term.TypeSig |
| typeAst | AST.Class.Infer.Infer1 |
| TypeConstraints | AST.Unify.Constraints, AST.Unify |
| TypeConstraintsOf | AST.Unify.Constraints, AST.Unify |
| TypedLam | |
| 1 (Type/Class) | AST.Term.TypedLam |
| 2 (Data Constructor) | AST.Term.TypedLam |
| TypeOf | AST.Class.Infer.InferOf, AST.Infer |
| TypeOf1 | AST.Class.Infer.Infer1 |
| TypeSig | |
| 1 (Type/Class) | AST.Term.TypeSig |
| 2 (Data Constructor) | AST.Term.TypeSig |