| Tag | |
| 1 (Type/Class) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| 2 (Type/Class) | Language.Fixpoint.Horn.Types |
| 3 (Data Constructor) | Language.Fixpoint.Horn.Types |
| TaggedC | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| TagQuery | Language.Fixpoint.Horn.Types |
| TagVar | Language.Fixpoint.Horn.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 |
| toHashMap | Data.ShareMap |
| 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 |
| toSMT | Language.Fixpoint.Solver.Common |
| 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 |
| 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 |
| tyCastName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |