| Edge | |
| 1 (Type/Class) | Data.ECTA.Internal.ECTA.Type, Data.ECTA |
| 2 (Data Constructor) | Data.ECTA.Internal.ECTA.Type, Data.ECTA |
| edgeChildren | Data.ECTA.Internal.ECTA.Type, Data.ECTA |
| edgeCount | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| edgeEcs | Data.ECTA.Internal.ECTA.Type |
| edgeId | Data.ECTA.Internal.ECTA.Type |
| edgeRepresents | Data.ECTA.Internal.ECTA.Operations |
| edgeSymbol | Data.ECTA.Internal.ECTA.Type, Data.ECTA |
| empty | Data.Persistent.UnionFind |
| Emptyable | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| EmptyConstraints | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| emptyEdge | Data.ECTA.Internal.ECTA.Type |
| EmptyNode | Data.ECTA.Internal.ECTA.Type, Data.ECTA |
| EmptyPath | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| EmptyPathTrie | Data.ECTA.Internal.Paths |
| emptyPathTrieZipper | Data.ECTA.Internal.Paths.Zipper |
| enumerateEdge | Data.ECTA.Internal.ECTA.Enumeration |
| enumerateFully | Data.ECTA.Internal.ECTA.Enumeration, Data.ECTA |
| EnumerateM | Data.ECTA.Internal.ECTA.Enumeration, Data.ECTA |
| enumerateNode | Data.ECTA.Internal.ECTA.Enumeration |
| enumerateOutFirstExpandableUVar | Data.ECTA.Internal.ECTA.Enumeration |
| enumerateOutUVar | Data.ECTA.Internal.ECTA.Enumeration |
| EnumerationState | |
| 1 (Type/Class) | Data.ECTA.Internal.ECTA.Enumeration |
| 2 (Data Constructor) | Data.ECTA.Internal.ECTA.Enumeration |
| EqConstraints | |
| 1 (Type/Class) | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| 2 (Data Constructor) | Data.ECTA.Internal.Paths |
| eqConstraintsDescend | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| EqContradiction | Data.ECTA.Internal.Paths |
| ex1 | Application.SAT |
| ex2 | Application.SAT |
| ex3 | Application.SAT |
| expandTermFrag | Data.ECTA.Internal.ECTA.Enumeration |
| expandUVar | Data.ECTA.Internal.ECTA.Enumeration |