| TAfter | Front.Token, Front.Scanner |
| TAmpersand | Front.Token, Front.Scanner |
| TApp | Front.Ast |
| targs | IR.IR |
| TArrow | Front.Ast |
| TAt | Front.Token, Front.Scanner |
| TAtAt | Front.Token, Front.Scanner |
| TBar | Front.Token, Front.Scanner |
| TBreak | Front.Token, Front.Scanner |
| TC | IR.Constraint.Monad |
| TCBlock | Front.Token, Front.Scanner |
| TColon | Front.Token, Front.Scanner |
| TComma | Front.Token, Front.Scanner |
| TCon | |
| 1 (Data Constructor) | Front.Ast |
| 2 (Data Constructor) | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| TCon1 | IR.Constraint.Type |
| TConId | |
| 1 (Type/Class) | Common.Identifiers, IR.IR |
| 2 (Data Constructor) | Common.Identifiers, IR.IR |
| TConInfo | |
| 1 (Type/Class) | Codegen.Typegen |
| 2 (Data Constructor) | Codegen.Typegen |
| tconInfo | Codegen.Typegen |
| TConN | IR.Constraint.Type |
| TCQuote | Front.Token, Front.Scanner |
| tCSet | IR.Pattern.Common |
| TCState | |
| 1 (Type/Class) | IR.Constraint.Monad |
| 2 (Data Constructor) | IR.Constraint.Monad |
| TCSym | Front.Token, Front.Scanner |
| TDBar | Front.Token, Front.Scanner |
| TDo | Front.Token, Front.Scanner |
| TDRarrow | Front.Token, Front.Scanner |
| tell | Common.Compiler |
| TElse | Front.Token, Front.Scanner |
| TEOF | Front.Token, Front.Scanner |
| TEq | Front.Token, Front.Scanner |
| termToCanType | IR.Constraint.Type |
| termToErrorType | IR.Constraint.Type |
| TExtern | Front.Token, Front.Scanner |
| textWidth | Codegen |
| TFun | Front.Token, Front.Scanner |
| throw | Codegen.LibSSM |
| throwError | |
| 1 (Function) | Common.Compiler |
| 2 (Function) | IR.Constraint.Monad |
| throwMalformedError | IR.Pattern.Anomaly |
| TId | Front.Token, Front.Scanner |
| TIf | Front.Token, Front.Scanner |
| Time | |
| 1 (Data Constructor) | IR.Types.Type, IR.Types |
| 2 (Data Constructor) | IR.Constraint.Canonical |
| time | IR.Constraint.Type |
| time_obj_t | Codegen.LibSSM |
| time_t | Codegen.LibSSM |
| TInfo | |
| 1 (Type/Class) | IR.Pattern.Common |
| 2 (Data Constructor) | IR.Pattern.Common |
| TInteger | Front.Token, Front.Scanner |
| tl | IR.Pattern.Vector |
| TLarrow | Front.Token, Front.Scanner |
| TLbrace | Front.Token, Front.Scanner |
| TLbracket | Front.Token, Front.Scanner |
| TLet | Front.Token, Front.Scanner |
| TLoop | Front.Token, Front.Scanner |
| TLparen | Front.Token, Front.Scanner |
| TMatch | Front.Token, Front.Scanner |
| tmp_ | Codegen.LibSSM |
| tName | IR.Pattern.Common |
| TNow | Front.Token, Front.Scanner |
| toCanType | IR.Constraint.Type |
| todo | |
| 1 (Function) | Common.Compiler |
| 2 (Function) | Codegen.Codegen |
| toErrorString | IR.Constraint.Error |
| toErrorType | IR.Constraint.Type |
| tokCol | Front.Token, Front.Scanner |
| Token | |
| 1 (Type/Class) | Front.Token, Front.Scanner |
| 2 (Data Constructor) | Front.Token, Front.Scanner |
| TokenType | Front.Token, Front.Scanner |
| tokenType | Front.Token |
| tokLen | Front.Token, Front.Scanner |
| tokLine | Front.Token, Front.Scanner |
| tokPos | Front.Token, Front.Scanner |
| toList | |
| 1 (Function) | IR.Pattern.Vector |
| 2 (Function) | IR.Pattern.Matrix |
| TOp | Front.Token, Front.Scanner |
| TopCDefs | Front.Ast |
| TopDef | |
| 1 (Type/Class) | Front.Ast |
| 2 (Data Constructor) | Front.Ast |
| TopExtern | Front.Ast |
| TopType | Front.Ast |
| top_parent | Codegen.LibSSM |
| to_act | Codegen.LibSSM |
| to_sv | Codegen.LibSSM |
| TPar | Front.Token, Front.Scanner |
| transform | IR |
| TRarrow | Front.Token, Front.Scanner |
| traverseFlatType | IR.Constraint.Solve |
| TRbrace | Front.Token, Front.Scanner |
| TRbracket | Front.Token, Front.Scanner |
| trigger_t | Codegen.LibSSM |
| trig_ | Codegen.LibSSM |
| TRparen | Front.Token, Front.Scanner |
| TSemicolon | Front.Token, Front.Scanner |
| TString | Front.Token, Front.Scanner |
| TTuple | Front.Ast |
| TType | Front.Token, Front.Scanner |
| TUnderscore | Front.Token, Front.Scanner |
| Tuple | Front.Ast |
| tuple | |
| 1 (Function) | IR.Types.Type, IR.Types |
| 2 (Function) | IR.Constraint.Canonical |
| tupled | Common.Pretty |
| tupleId | IR.Types.Type, IR.Types |
| TVar | IR.Types.Type, IR.Types, IR.Constraint.Canonical |
| TVarId | |
| 1 (Type/Class) | Common.Identifiers |
| 2 (Data Constructor) | Common.Identifiers |
| TVarIdx | |
| 1 (Type/Class) | Common.Identifiers |
| 2 (Data Constructor) | Common.Identifiers |
| TVarN | IR.Constraint.Type |
| TWait | Front.Token, Front.Scanner |
| TWhile | Front.Token, Front.Scanner |
| Typ | Front.Ast |
| TypAnn | Front.Ast |
| Type | |
| 1 (Type/Class) | IR.Constraint.Error |
| 2 (Data Constructor) | IR.Constraint.Error |
| 3 (Type/Class) | IR.Types.Type, IR.Types, IR.IR, IR.Constraint.Canonical |
| 4 (Type/Class) | IR.Constraint.Type |
| typeAnn | Common.Pretty |
| typecheck | IR |
| typecheckProgram | IR.Constraint.Typechecking |
| TypeDef | |
| 1 (Type/Class) | Front.Ast |
| 2 (Data Constructor) | Front.Ast |
| 3 (Type/Class) | IR.IR |
| 4 (Data Constructor) | IR.IR |
| typeDefs | IR.IR |
| typeEncoding | Codegen.Typegen |
| TypeError | Common.Compiler |
| typeError | Common.Compiler |
| TypegenInfo | |
| 1 (Type/Class) | Codegen.Typegen |
| 2 (Data Constructor) | Codegen.Typegen |
| typeMap | IR.Pattern.Anomaly |
| typeName | Front.Ast |
| typeParams | Front.Ast |
| typeScrut | Codegen.Typegen |
| typeToVar | IR.Constraint.Solve |
| typeToVariable | IR.Constraint.Solve |
| TypeVariant | |
| 1 (Type/Class) | Front.Ast |
| 2 (Type/Class) | IR.IR |
| typeVariants | Front.Ast |
| TypeWarning | Common.Compiler |
| TypFn | Front.Ast |
| TypInfo | |
| 1 (Type/Class) | Front.Identifiers |
| 2 (Data Constructor) | Front.Identifiers |
| typKind | Front.Identifiers |
| TypNone | Front.Ast |
| TypProper | Front.Ast |
| TypReturn | Front.Ast |