Index - T
| Term | U.Codebase.Term |
| TermEdit | U.Codebase.TermEdit |
| TermLink | |
| 1 (Data Constructor) | U.Codebase.Term |
| 2 (Type/Class) | U.Codebase.Term |
| TermRef | U.Codebase.Term |
| termRef_ | U.Codebase.Referent |
| TestWatch | U.Codebase.WatchKind |
| Text | U.Codebase.Term |
| toReference | U.Codebase.Referent |
| toReferenceId | U.Codebase.Referent |
| toShortHash | U.Codebase.Referent |
| toTermReference | U.Codebase.Referent |
| Type | |
| 1 (Data Constructor) | U.Codebase.Decl |
| 2 (Type/Class) | U.Codebase.Decl |
| 3 (Type/Class) | U.Codebase.Term |
| TypeD | U.Codebase.Type |
| typeD2T | U.Codebase.Type |
| TypeEdit | U.Codebase.TypeEdit |
| TypeLink | |
| 1 (Data Constructor) | U.Codebase.Term |
| 2 (Type/Class) | U.Codebase.Term |
| TypeR | U.Codebase.Type |
| TypeRef | |
| 1 (Type/Class) | U.Codebase.Decl |
| 2 (Type/Class) | U.Codebase.Term |
| typeRef_ | U.Codebase.Referent |
| TypeT | U.Codebase.Type |
| Typing | U.Codebase.TermEdit |