Index - T
| tau | Application.TermSearch.TermSearch |
| TCons | Application.TermSearch.Type |
| Term | |
| 1 (Type/Class) | Data.ECTA.Internal.Term, Data.ECTA.Term |
| 2 (Data Constructor) | Data.ECTA.Internal.Term, Data.ECTA.Term |
| TermFragment | Data.ECTA.Internal.ECTA.Enumeration |
| termFragment | Data.ECTA.Internal.ECTA.Enumeration |
| TermFragmentNode | Data.ECTA.Internal.ECTA.Enumeration |
| TermFragmentUVar | Data.ECTA.Internal.ECTA.Enumeration |
| termFragToTruncatedTerm | Data.ECTA.Internal.ECTA.Enumeration |
| TerminalPathTrie | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| termsK | Application.TermSearch.TermSearch |
| TFun | Application.TermSearch.Type |
| theArrowNode | Application.TermSearch.Utils |
| toDot | Data.ECTA.Internal.ECTA.Visualization, Data.ECTA |
| toEcta | Application.SAT |
| toMappedName | Application.TermSearch.TermSearch |
| toPathTrie | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| TVar | Application.TermSearch.Type |
| typeConst | Application.TermSearch.Utils |
| TypeSkeleton | Application.TermSearch.Type |
| typeToFta | Application.TermSearch.Dataset |