Index - T
| TailList | Covenant.Prim |
| Tape | |
| 1 (Type/Class) | Covenant.Zipper |
| 2 (Data Constructor) | Covenant.Zipper |
| ThreeArgFunc | Covenant.Prim |
| Thunk | Covenant.ASG |
| thunk | Covenant.ASG |
| ThunkError | Covenant.ASG |
| ThunkT | Covenant.Type |
| ThunkValType | Covenant.ASG |
| TopLevelError | Covenant.ASG |
| topLevelId | Covenant.ASG |
| topLevelNode | Covenant.ASG |
| TopLevelValue | Covenant.ASG |
| Trace | Covenant.Prim |
| tree | Covenant.Test |
| TwoArgFunc | Covenant.Prim |
| tyAppTestDatatypes | Covenant.Test |
| TyName | |
| 1 (Type/Class) | Covenant.Type |
| 2 (Data Constructor) | Covenant.Type |
| TypeAppError | Covenant.ASG |
| typeASGNode | Covenant.ASG |
| typeConstant | Covenant.Constant |
| TypeDoesNotExist | Covenant.ASG |
| TypeError | Covenant.ASG |
| typeIdTest | Covenant.Test |
| typeOneArgFunc | Covenant.Prim |
| typeSixArgFunc | Covenant.Prim |
| typeThreeArgFunc | Covenant.Prim |
| typeTwoArgFunc | Covenant.Prim |
| tyvar | Covenant.Type |