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 |