Index - T
| ta_expr | Cornelis.Types |
| Text | Cornelis.Types |
| textPath | Cornelis.Types.Agda |
| textToBytes | Cornelis.Offsets |
| toBytes | Cornelis.Offsets |
| ToggleImplicitArgs | Cornelis.Types.Agda |
| ToggleIrrelevantArgs | Cornelis.Types.Agda |
| toOneIndexed | Cornelis.Offsets |
| toZeroIndexed | Cornelis.Offsets |
| traceMX | Cornelis.Debug, Cornelis.Types |
| translateInterval | Cornelis.Diff |
| Type | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| TypeAux | |
| 1 (Type/Class) | Cornelis.Types |
| 2 (Data Constructor) | Cornelis.Types |
| typeContext | Plugin |
| typeContextInfer | Plugin |