| Tag | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| TaggedC | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| targetSubstSyms | Language.Fixpoint.Types.Substitutions, Language.Fixpoint.Types |
| TCArgs | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| tceFromList | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| tceInsert | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| tceInsertWith | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| tceLookup | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| tceMap | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| TCEmb | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| tceMember | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| tceToList | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| tempDirectory | Language.Fixpoint.Utils.Files |
| Templates | Language.Fixpoint.Types.Templates, Language.Fixpoint.Types |
| tempPrefix | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| tempSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| TermOrigin | Language.Fixpoint.Solver.Rewrite |
| Test | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| testSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| text | Text.PrettyPrint.HughesPJ.Compat |
| TextDetails | Text.PrettyPrint.HughesPJ.Compat |
| thd3 | Language.Fixpoint.Misc |
| Theory | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| TheorySymbol | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| theorySymbols | Language.Fixpoint.Smt.Theories |
| Thy | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| tickIter | Language.Fixpoint.Solver.Monad |
| Tidy | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| tidySymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| Times | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| toFix | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| toFixpoint | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| toGFixSol | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| toInt | Language.Fixpoint.SortCheck |
| toIntName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| toListSEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| top | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| topoSortWith | Language.Fixpoint.Misc |
| toReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| toSourcePos | Language.Fixpoint.Types.Spans, Language.Fixpoint.Types |
| totalWork | Language.Fixpoint.Solver.Stats |
| TR | Language.Fixpoint.Types.Triggers, Language.Fixpoint.Types |
| traceFix | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| tracepp | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| traceShow | Language.Fixpoint.Misc |
| trans | Language.Fixpoint.Types.Visitor |
| Trie | Language.Fixpoint.Utils.Trie |
| Trigger | Language.Fixpoint.Types.Triggers, Language.Fixpoint.Types |
| Triggered | Language.Fixpoint.Types.Triggers, Language.Fixpoint.Types |
| triple | Language.Fixpoint.Misc |
| trueEqual | Language.Fixpoint.Types.Solutions |
| trueQual | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| trueReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| trueSortedReft | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| Ts | Language.Fixpoint.Utils.Files |
| tshow | Language.Fixpoint.Misc |
| tsInterp | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| tsRaw | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| tsSort | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| tsSym | Language.Fixpoint.Types.Theories, Language.Fixpoint.Types |
| tupConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| TVSubst | Language.Fixpoint.SortCheck |
| txExpr | Language.Fixpoint.Types.Visitor |