| target | Embedder.Config |
| tb2s | Embedder.Builtins |
| TBuiltin | Embedder.Isabelle.Syntax |
| tCase | Embedder.Atmo.ToIsabelle |
| tDataCon | Embedder.Atmo.ToIsabelle |
| tDataDefn | Embedder.Atmo.ToIsabelle |
| TDecl | Embedder.Atmo.DependencyGraph |
| tDeclaration | Embedder.Atmo.ToIsabelle |
| TDef | Embedder.Atmo.DependencyGraph |
| tDefn | Embedder.Atmo.ToIsabelle |
| Term | Embedder.Isabelle.Syntax |
| termId | Embedder.Isabelle.Syntax |
| termName | Embedder.Isabelle.Syntax |
| testbench | Embedder.Config |
| tExp | Embedder.Atmo.ToIsabelle |
| textListRWOp | Embedder.Isabelle.Syntax |
| textS | Embedder.Isabelle.Syntax |
| tFreeProgram | Embedder.Atmo.ToIsabelle |
| tFun | Embedder.Atmo.ToIsabelle |
| tFunBinding | Embedder.Atmo.ToIsabelle |
| tGlobal | Embedder.Atmo.ToIsabelle |
| thenId | Embedder.Isabelle.Syntax |
| Theory | |
| 1 (Type/Class) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Isabelle.Syntax |
| thyName | Embedder.Isabelle.Syntax |
| tLocal | Embedder.Atmo.ToIsabelle |
| tModule | Embedder.Atmo.ToIsabelle |
| TName | Embedder.Isabelle.Syntax |
| TNum | Embedder.Isabelle.Syntax |
| toAtmo | Embedder.HSE.ToAtmo |
| toFilePath | ReWire.HSE.Rename |
| ToFinite | Embedder.Builtins |
| ToFiniteMod | Embedder.Builtins |
| top | Embedder.Config |
| tPat | Embedder.Atmo.ToIsabelle |
| tPatBind | Embedder.Atmo.ToIsabelle |
| tPoly | Embedder.Atmo.ToIsabelle |
| tPolySig | Embedder.Atmo.ToIsabelle |
| transExport | ReWire.HSE.Exports |
| transMonadT | Embedder.Atmo.FlattenMonadTrans |
| tRDefns | Embedder.Atmo.ToIsabelle |
| tRecDefn | Embedder.Atmo.ToIsabelle |
| tryParseInDir | ReWire.HSE.Parse |
| tType | Embedder.Atmo.ToIsabelle |
| tTypeSig | Embedder.Atmo.ToIsabelle |
| tTypeSynonym | Embedder.Atmo.ToIsabelle |
| Tuple | Embedder.Atmo.Syntax |
| tupleTy | Embedder.Atmo.Types |
| Tuplex | Embedder.Isabelle.Syntax |
| TVar | Embedder.Isabelle.Syntax |
| Ty | Embedder.Atmo.Syntax |
| tyAnn | |
| 1 (Function) | Embedder.Isabelle.Syntax |
| 2 (Function) | Embedder.Atmo.Types |
| TyApp | Embedder.Atmo.Syntax |
| tyAtomic | Embedder.Isabelle.Syntax |
| TyBool | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyBuiltin | |
| 1 (Type/Class) | Embedder.Builtins, Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| tybuiltin | Embedder.Atmo.Util |
| tybuiltins | Embedder.Builtins |
| TyCon | Embedder.Atmo.Syntax |
| TyConId | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| tycons | Embedder.Atmo.DependencyGraph |
| TyDev | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyFin | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyFun | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyIdentity | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyInteger | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyList | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyNat | Embedder.Atmo.Syntax |
| TyNeg | Embedder.Builtins, Embedder.Atmo.Syntax |
| Typ | Embedder.Isabelle.Syntax |
| typ | Embedder.Isabelle.Syntax |
| typAnn | Embedder.Isabelle.Syntax |
| TypAnnTerm | Embedder.Isabelle.Syntax |
| Type | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | ReWire.HSE.Rename |
| TypeAnnotated | Embedder.Atmo.Types |
| typeArgs | Embedder.Isabelle.Syntax |
| typeB | Embedder.Isabelle.Syntax |
| typeId | Embedder.Isabelle.Syntax |
| typeN | Embedder.Isabelle.Syntax |
| typeOf | Embedder.Atmo.Types |
| typeSigCod | Embedder.Isabelle.Syntax |
| typeSynAnnote | Embedder.Atmo.Syntax |
| typeSynName | Embedder.Atmo.Syntax |
| TypeSynonym | |
| 1 (Data Constructor) | Embedder.Isabelle.Syntax |
| 2 (Type/Class) | Embedder.Atmo.Syntax |
| 3 (Data Constructor) | Embedder.Atmo.Syntax |
| typeSynType | Embedder.Atmo.Syntax |
| TyPlus | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyProd | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyProxy | Embedder.Builtins, Embedder.Atmo.Syntax |
| TypSig | |
| 1 (Type/Class) | Embedder.Isabelle.Syntax |
| 2 (Data Constructor) | Embedder.Isabelle.Syntax |
| typSigArgs | Embedder.Isabelle.Syntax |
| TyRe | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyReacT | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyRef | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyS | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyState | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyStateDev | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyStateT | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyString | Embedder.Builtins, Embedder.Atmo.Syntax |
| tysynNames | ReWire.HSE.Exports |
| TyTuple | Embedder.Atmo.Syntax |
| TyUnit | Embedder.Builtins, Embedder.Atmo.Syntax |
| TyVar | Embedder.Atmo.Syntax |
| TyVec | Embedder.Builtins, Embedder.Atmo.Syntax |