Index - T
| Table | Narc.AST |
| table_ | Narc.AST |
| Tabname | Narc.Common |
| tabs | Narc.SQL |
| TArr | Narc.Type |
| TBool | Narc.Type |
| Term | Narc.AST |
| Term' | Narc.AST |
| Times | Narc.SQL |
| TList | Narc.Type |
| TNum | Narc.Type |
| TRecord | Narc.Type |
| tryErrorGensym | Narc.Failure |
| TString | Narc.Type |
| TUnit | Narc.Type |
| TVar | Narc.Type |
| tyCheck | Narc.TypeInfer |
| tyCheckTerms | Narc.TypeInfer |
| tyCheckTests | Narc.TypeInfer |
| TyEnv | Narc.Type |
| Type | Narc.Type |
| typeAnno | Narc.TypeInfer |
| TypedTerm | Narc.AST |
| typingTest | Narc.TypeInfer |
| typingTest1 | Narc.TypeInfer |
| TySubst | Narc.Type |
| TyVar | Narc.Type |