| T | ReWire.SYB |
| tagReg | ReWire.Hyle.ToVerilog |
| tail | ReWire.Vectors |
| take | ReWire.Vectors |
| TAlt | |
| 1 (Type/Class) | ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Synolon.Syntax |
| TArg | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| target | ReWire.Config, Embedder.Config |
| tb2s | Embedder.Builtins |
| TBits | ReWire.Cryptol.Syntax |
| TBuiltin | Embedder.Isabelle.Syntax |
| TCall | ReWire.Cryptol.Syntax |
| TCase | ReWire.Synolon.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 | |
| 1 (Type/Class) | Embedder.Isabelle.Syntax |
| 2 (Type/Class) | ReWire.Synolon.Syntax |
| termExps | ReWire.Synolon.Syntax |
| termId | Embedder.Isabelle.Syntax |
| termName | Embedder.Isabelle.Syntax |
| termTargets | ReWire.Synolon.Syntax |
| testbench | |
| 1 (Function) | ReWire.Hyle.ToVerilog |
| 2 (Function) | ReWire.Hyle.ToVHDL |
| 3 (Function) | ReWire.Config, Embedder.Config |
| tExp | Embedder.Atmo.ToIsabelle |
| text | ReWire.Pretty |
| textListRWOp | Embedder.Isabelle.Syntax |
| textS | Embedder.Isabelle.Syntax |
| TextShow | ReWire.Pretty |
| 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 |
| TId | ReWire.SYB |
| times' | ReWire.BitWord |
| tLocal | Embedder.Atmo.ToIsabelle |
| TM | ReWire.SYB |
| tModule | Embedder.Atmo.ToIsabelle |
| TName | Embedder.Isabelle.Syntax |
| TNum | Embedder.Isabelle.Syntax |
| toAnnote | ReWire.Annotation |
| toAtmo | Embedder.HSE.ToAtmo |
| toBin | ReWire.BitWord |
| toBit' | ReWire.BitWord |
| toEidos | ReWire.GHC.ToEidos |
| toFilePath | ReWire.HSE.Rename |
| ToFinite | Embedder.Builtins, ReWire.Builtins |
| toFinite | ReWire.Finite |
| toFinite' | ReWire.Finite |
| ToFiniteMod | Embedder.Builtins, ReWire.Builtins |
| toHex | ReWire.BitWord |
| toInt | ReWire.BitWord |
| toInt' | ReWire.BitWord |
| toInteger | ReWire.Bits |
| toInteger' | ReWire.BitWord |
| toIntegerV | RWC.Primitives, ReWire |
| toIntLE' | ReWire.BitWord |
| toList | ReWire.Interactive |
| top | ReWire.Config, Embedder.Config |
| tPat | Embedder.Atmo.ToIsabelle |
| tPatBind | Embedder.Atmo.ToIsabelle |
| tPoly | Embedder.Atmo.ToIsabelle |
| tPolySig | Embedder.Atmo.ToIsabelle |
| Tr | ReWire.SYB |
| trace | ReWire.Interactive |
| traceP | ReWire.Interactive |
| transExport | ReWire.HSE.Exports |
| transform | ReWire.SYB |
| transformM | ReWire.SYB |
| transformTr | ReWire.SYB |
| translate | ReWire.Cryptol.Translate |
| transMonadT | Embedder.Atmo.FlattenMonadTrans |
| tRDefns | Embedder.Atmo.ToIsabelle |
| tRecDefn | Embedder.Atmo.ToIsabelle |
| Trunc | ReWire.Hyle.Syntax |
| tryParseInDir | ReWire.HSE.Parse |
| TSeq | ReWire.Cryptol.Syntax |
| tType | Embedder.Atmo.ToIsabelle |
| tTypeSig | Embedder.Atmo.ToIsabelle |
| tTypeSynonym | Embedder.Atmo.ToIsabelle |
| Tuple | Embedder.Atmo.Syntax |
| tupled | ReWire.Pretty |
| tupleName | |
| 1 (Function) | ReWire.GHC.Recognize |
| 2 (Function) | ReWire.Eidos.Lexer |
| tupleTy | Embedder.Atmo.Types |
| Tuplex | Embedder.Isabelle.Syntax |
| TVar | Embedder.Isabelle.Syntax |
| tvKind | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| tvOcc | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TVScope | ReWire.Eidos.Parse |
| tvSite | ReWire.Eidos.Lint |
| tvUniq | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Ty | |
| 1 (Type/Class) | ReWire.Cryptol.Syntax |
| 2 (Type/Class) | Embedder.Atmo.Syntax |
| 3 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| tyAnn | |
| 1 (Function) | Embedder.Isabelle.Syntax |
| 2 (Function) | Embedder.Atmo.Types |
| TyApp | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.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 | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyConId | |
| 1 (Type/Class) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | Embedder.Atmo.Syntax |
| 3 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| tyConKey | ReWire.GHC.Recognize |
| tyConModule | ReWire.GHC.Recognize |
| tycons | Embedder.Atmo.DependencyGraph |
| tyConTable | ReWire.GHC.Recognize |
| TyDev | Embedder.Builtins, Embedder.Atmo.Syntax |
| tyEq | ReWire.Eidos.Types |
| 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 | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyNeg | Embedder.Builtins, Embedder.Atmo.Syntax |
| Typ | Embedder.Isabelle.Syntax |
| tyP | ReWire.Eidos.Parse |
| 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 | |
| 1 (Function) | Embedder.Atmo.Types |
| 2 (Function) | ReWire.Eidos.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 | |
| 1 (Data Constructor) | Embedder.Atmo.Syntax |
| 2 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 3 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyVarT | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyVec | Embedder.Builtins, Embedder.Atmo.Syntax |