Index - T
| t1 | Translate |
| t2 | Translate |
| t3 | Translate |
| t4 | Translate |
| t5 | Translate |
| TApp | |
| 1 (Data Constructor) | C |
| 2 (Data Constructor) | A |
| 3 (Data Constructor) | F |
| tcApp | TAL |
| tcArith | TAL |
| tcGamma | TAL |
| tcInstr | TAL |
| tcInstrSeq | TAL |
| tcPack | TAL |
| tcPsi | TAL |
| tcSmallVal | TAL |
| tcty | |
| 1 (Function) | C |
| 2 (Function) | A |
| 3 (Function) | TAL |
| 4 (Function) | K |
| 5 (Function) | F |
| tcWordVal | TAL |
| test | Translate |
| Times | Util |
| TLam | F |
| Tm | |
| 1 (Type/Class) | C |
| 2 (Type/Class) | A |
| 3 (Type/Class) | K |
| 4 (Type/Class) | F |
| TmIf0 | |
| 1 (Data Constructor) | C |
| 2 (Data Constructor) | A |
| 3 (Data Constructor) | K |
| 4 (Data Constructor) | F |
| TmInt | |
| 1 (Data Constructor) | C |
| 2 (Data Constructor) | A |
| 3 (Data Constructor) | TAL |
| 4 (Data Constructor) | K |
| 5 (Data Constructor) | F |
| TmName | |
| 1 (Type/Class) | C |
| 2 (Type/Class) | F |
| TmPrim | F |
| TmPrj | F |
| TmProd | |
| 1 (Data Constructor) | C |
| 2 (Data Constructor) | K |
| 3 (Data Constructor) | F |
| TmVar | |
| 1 (Data Constructor) | C |
| 2 (Data Constructor) | A |
| 3 (Data Constructor) | K |
| 4 (Data Constructor) | F |
| toAnnValA | Translate |
| toAnnValC | Translate |
| toAnnValH | Translate |
| toDeclA | Translate |
| toDeclC | Translate |
| toDeclH | Translate |
| toDeclTAL | Translate |
| toExpA | Translate |
| toExpK | Translate |
| toFlag | Translate |
| toHeapVal | Translate |
| toHeapValA | Translate |
| toInstrsTAL | Translate |
| toProgA | Translate |
| toProgC | Translate |
| toProgH | Translate |
| toProgK | Translate |
| toProgTAL | Translate |
| toSmallVal | Translate |
| toTmC | Translate |
| toTmH | Translate |
| toTyA | Translate |
| toTyC | Translate |
| toTyContK | Translate |
| toTyK | Translate |
| toTyTAL | Translate |
| toValA | Translate |
| toWordVal | Translate |
| Tuple | |
| 1 (Data Constructor) | A |
| 2 (Data Constructor) | TAL |
| twice | F |
| two | F |
| Ty | |
| 1 (Type/Class) | C |
| 2 (Type/Class) | A |
| 3 (Type/Class) | TAL |
| 4 (Type/Class) | K |
| 5 (Type/Class) | F |
| TyApp | |
| 1 (Type/Class) | TAL |
| 2 (Data Constructor) | TAL |
| tyApp | TAL |
| TyInt | |
| 1 (Data Constructor) | C |
| 2 (Data Constructor) | A |
| 3 (Data Constructor) | TAL |
| 4 (Data Constructor) | K |
| 5 (Data Constructor) | F |
| TyName | |
| 1 (Type/Class) | C |
| 2 (Type/Class) | A |
| 3 (Type/Class) | TAL |
| 4 (Type/Class) | K |
| 5 (Type/Class) | F |
| typecheck | |
| 1 (Function) | C |
| 2 (Function) | A |
| 3 (Function) | K |
| 4 (Function) | F |
| typecheckAnnVal | |
| 1 (Function) | C |
| 2 (Function) | A |
| 3 (Function) | K |
| typecheckDecl | |
| 1 (Function) | C |
| 2 (Function) | A |
| 3 (Function) | K |
| typeCheckHeap | TAL |
| typecheckHeapVal | A |
| typecheckVal | |
| 1 (Function) | C |
| 2 (Function) | A |
| 3 (Function) | K |
| TyProd | |
| 1 (Data Constructor) | C |
| 2 (Data Constructor) | A |
| 3 (Data Constructor) | TAL |
| 4 (Data Constructor) | K |
| 5 (Data Constructor) | F |
| TyVar | |
| 1 (Data Constructor) | C |
| 2 (Data Constructor) | A |
| 3 (Data Constructor) | TAL |
| 4 (Data Constructor) | K |
| 5 (Data Constructor) | F |