| AblationType | Application.TermSearch.Type |
| allConstructors | Application.TermSearch.TermSearch |
| allSolutions | Application.SAT |
| And | Application.SAT |
| anyFunc | Application.TermSearch.TermSearch |
| AnyHashTable | |
| 1 (Type/Class) | Data.HashTable.Extended |
| 2 (Data Constructor) | Data.HashTable.Extended |
| anyListFunc | Application.TermSearch.TermSearch |
| anyNonListFunc | Application.TermSearch.TermSearch |
| anyNonNilFunc | Application.TermSearch.TermSearch |
| anyNonNothingFunc | Application.TermSearch.TermSearch |
| app | Application.TermSearch.TermSearch |
| applyOperator | Application.TermSearch.TermSearch |
| appType | Application.TermSearch.Utils |
| Argument | Application.TermSearch.Type |
| arrowType | Application.TermSearch.Utils |
| assimilateUvarVal | Data.ECTA.Internal.ECTA.Enumeration |
| augumentedComponents | Application.TermSearch.Dataset |
| Benchmark | |
| 1 (Type/Class) | Application.TermSearch.Type |
| 2 (Data Constructor) | Application.TermSearch.Type |
| bmArguments | Application.TermSearch.Type |
| bmGoalType | Application.TermSearch.Type |
| bmName | Application.TermSearch.Type |
| bmSize | Application.TermSearch.Type |
| bmSolution | Application.TermSearch.Type |
| Cache | |
| 1 (Type/Class) | Data.Interned.Extended.HashTableBased |
| 2 (Data Constructor) | Data.Interned.Extended.HashTableBased |
| cache | Data.Interned.Extended.HashTableBased |
| CacheMetrics | |
| 1 (Type/Class) | Data.Memoization.Metrics |
| 2 (Data Constructor) | Data.Memoization.Metrics |
| cacheSize | Data.Interned.Extended.HashTableBased |
| checkSolution | Application.TermSearch.TermSearch |
| Clause | Application.SAT |
| clusterByHash | Utility.HashJoin |
| CNF | Application.SAT |
| combineEqConstraints | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| completedSubsumptionOrdering | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| ConsPath | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| constArg | Application.TermSearch.Utils |
| constFunc | Application.TermSearch.Utils |
| constraints | Data.ECTA.Internal.ECTA.Enumeration |
| constraintsAreContradictory | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| constraintsImply | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| constrType0 | Application.TermSearch.Utils |
| constrType1 | Application.TermSearch.Utils |
| constrType2 | Application.TermSearch.Utils |
| content | Data.Interned.Extended.HashTableBased |
| contents | Data.ECTA.Internal.ECTA.Enumeration |
| createMu | Data.ECTA.Internal.ECTA.Type, Data.ECTA |
| crush | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| Default | Application.TermSearch.Type |
| descendScs | Data.ECTA.Internal.ECTA.Enumeration |
| describe | Data.Interned.Extended.HashTableBased |
| Description | Data.Interned.Extended.HashTableBased |
| dropRedundantEdges | Data.ECTA.Internal.ECTA.Operations |
| dropTypes | Application.TermSearch.TermSearch |
| 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 |
| f1 | Application.TermSearch.TermSearch |
| f10 | Application.TermSearch.TermSearch |
| f11 | Application.TermSearch.TermSearch |
| f12 | Application.TermSearch.TermSearch |
| f13 | Application.TermSearch.TermSearch |
| f14 | Application.TermSearch.TermSearch |
| f15 | Application.TermSearch.TermSearch |
| f16 | Application.TermSearch.TermSearch |
| f17 | Application.TermSearch.TermSearch |
| f18 | Application.TermSearch.TermSearch |
| f19 | Application.TermSearch.TermSearch |
| f2 | Application.TermSearch.TermSearch |
| f20 | Application.TermSearch.TermSearch |
| f21 | Application.TermSearch.TermSearch |
| f22 | Application.TermSearch.TermSearch |
| f23 | Application.TermSearch.TermSearch |
| f24 | Application.TermSearch.TermSearch |
| f25 | Application.TermSearch.TermSearch |
| f26 | Application.TermSearch.TermSearch |
| f27 | Application.TermSearch.TermSearch |
| f28 | Application.TermSearch.TermSearch |
| f29 | Application.TermSearch.TermSearch |
| f3 | Application.TermSearch.TermSearch |
| f30 | Application.TermSearch.TermSearch |
| f4 | Application.TermSearch.TermSearch |
| f5 | Application.TermSearch.TermSearch |
| f6 | Application.TermSearch.TermSearch |
| f7 | Application.TermSearch.TermSearch |
| f8 | Application.TermSearch.TermSearch |
| f9 | Application.TermSearch.TermSearch |
| filterType | Application.TermSearch.TermSearch |
| find | Data.Persistent.UnionFind |
| firstExpandableUVar | Data.ECTA.Internal.ECTA.Enumeration |
| fix | Utility.Fixpoint |
| fixMaybe | Utility.Fixpoint |
| fixUnbounded | Utility.Fixpoint |
| freeVars | Data.ECTA.Internal.ECTA.Type |
| fresh | Data.Interned.Extended.HashTableBased |
| freshCache | Data.Interned.Extended.HashTableBased |
| fromJustFunc | Application.TermSearch.TermSearch |
| fromPathTrie | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| generalize | Application.TermSearch.TermSearch |
| getAllAtPath | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| getAllTerms | Data.ECTA.Internal.ECTA.Enumeration, Data.ECTA |
| getAllTruncatedTerms | Data.ECTA.Internal.ECTA.Enumeration, Data.ECTA |
| getEclasses | Data.ECTA.Internal.Paths |
| getKeys | Data.HashTable.Extended |
| getMaxNonemptyIndex | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| getOrigPaths | Data.ECTA.Internal.Paths |
| getPath | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| getPathTrie | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| getRepOf | Application.TermSearch.Utils |
| getSubnodeById | Data.ECTA.Internal.ECTA.Operations |
| getTermFragForUVar | Data.ECTA.Internal.ECTA.Enumeration |
| getText | Application.TermSearch.TermSearch |
| getUVarRepresentative | Data.ECTA.Internal.ECTA.Enumeration |
| getUVarValue | Data.ECTA.Internal.ECTA.Enumeration |
| groupMapping | Application.TermSearch.Dataset |
| hashClusterIdNub | Utility.HashJoin |
| hashJoin | Utility.HashJoin |
| hasSubsumingMember | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| hasSubsumingMemberListBased | Data.ECTA.Internal.Paths |
| HKTV | Application.TermSearch.Type |
| hoogleComponents | Application.TermSearch.Dataset |
| hoogleComps | Application.TermSearch.TermSearch |
| hooglePlusComponents | Application.TermSearch.Dataset |
| Id | Data.Interned.Extended.HashTableBased |
| identify | Data.Interned.Extended.HashTableBased |
| initEnumerationState | Data.ECTA.Internal.ECTA.Enumeration |
| initUVarGen | Data.Persistent.UnionFind |
| intern | |
| 1 (Function) | Data.Interned.Extended.HashTableBased |
| 2 (Function) | Data.Interned.Extended.SingleThreaded |
| Interned | Data.Interned.Extended.HashTableBased |
| InternedEdge | Data.ECTA.Internal.ECTA.Type |
| InternedMu | |
| 1 (Data Constructor) | Data.ECTA.Internal.ECTA.Type |
| 2 (Type/Class) | Data.ECTA.Internal.ECTA.Type |
| internedMuBody | Data.ECTA.Internal.ECTA.Type |
| internedMuId | Data.ECTA.Internal.ECTA.Type |
| internedMuShape | Data.ECTA.Internal.ECTA.Type |
| InternedNode | |
| 1 (Data Constructor) | Data.ECTA.Internal.ECTA.Type |
| 2 (Type/Class) | Data.ECTA.Internal.ECTA.Type |
| internedNodeEdges | Data.ECTA.Internal.ECTA.Type |
| internedNodeFree | Data.ECTA.Internal.ECTA.Type |
| internedNodeId | Data.ECTA.Internal.ECTA.Type |
| internedNodeNumNestedMu | Data.ECTA.Internal.ECTA.Type |
| intersect | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| intersectEdge | Data.ECTA.Internal.ECTA.Operations |
| IntersectId | |
| 1 (Type/Class) | Data.ECTA.Internal.ECTA.Type |
| 2 (Data Constructor) | Data.ECTA.Internal.ECTA.Type |
| intToUVar | Data.Persistent.UnionFind |
| InvertedPathTrie | Data.ECTA.Internal.Paths.Zipper |
| isContradicting | Data.ECTA.Internal.Paths |
| isEmptyPathTrie | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| isListFunction | Application.TermSearch.TermSearch |
| isMaybeFunction | Application.TermSearch.TermSearch |
| isStrictSubpath | Data.ECTA.Internal.Paths |
| isSubpath | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| isTerminalPathTrie | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| Lambda | Application.TermSearch.Type |
| largestNonempty | Data.ECTA.Internal.Paths |
| listReps | Application.TermSearch.TermSearch |
| listType | Application.TermSearch.Utils |
| Lit | Application.SAT |
| loop1 | Application.TermSearch.Utils |
| loop2 | Application.TermSearch.Utils |
| mapNodes | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| maxIndegree | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| maybeFunctions | Application.TermSearch.TermSearch |
| maybeReps | Application.TermSearch.TermSearch |
| maybeType | Application.TermSearch.Utils |
| memo | Data.Memoization |
| memo2 | Data.Memoization |
| MemoCacheTag | Data.Memoization |
| memoIO | Data.Memoization |
| mergeNodeIntoUVarVal | Data.ECTA.Internal.ECTA.Enumeration |
| missCount | Data.Memoization.Metrics |
| mkDatatype | Application.TermSearch.Utils |
| mkEdge | Data.ECTA.Internal.ECTA.Type, Data.ECTA |
| mkEqConstraints | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| mkGroups | Application.TermSearch.Utils |
| MkInternedMu | Data.ECTA.Internal.ECTA.Type |
| MkInternedNode | Data.ECTA.Internal.ECTA.Type |
| mkVar | Application.SAT |
| Mode | Application.TermSearch.Type |
| modifyAtPath | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| modifyNode | Data.ECTA.Internal.ECTA.Type |
| Mu | Data.ECTA.Internal.ECTA.Type |
| naiveDenotation | Data.ECTA.Internal.ECTA.Enumeration, Data.ECTA |
| NameTag | Data.Memoization |
| NegLit | Application.SAT |
| nextUVar | Data.Persistent.UnionFind |
| Node | |
| 1 (Type/Class) | Data.ECTA.Internal.ECTA.Type, Data.ECTA |
| 2 (Data Constructor) | Data.ECTA.Internal.ECTA.Type, Data.ECTA |
| nodeCount | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| nodeEdges | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| nodeIdentity | Data.ECTA.Internal.ECTA.Type |
| nodeRepresents | Data.ECTA.Internal.ECTA.Operations |
| NoEnumeration | Application.TermSearch.Type |
| NoOptimize | Application.TermSearch.Type |
| NoReduction | Application.TermSearch.Type |
| Normal | Application.TermSearch.Type |
| nubById | Utility.HashJoin |
| nubByIdSinglePass | Utility.HashJoin |
| numNestedMu | Data.ECTA.Internal.ECTA.Type, Data.ECTA |
| onNormalNodes | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| Or | Application.SAT |
| parseHoogleComponent | Application.TermSearch.TermSearch |
| Path | |
| 1 (Type/Class) | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| 2 (Data Constructor) | Data.ECTA.Internal.Paths |
| path | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| Pathable | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| PathEClass | |
| 1 (Type/Class) | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| 2 (Data Constructor) | Data.ECTA.Internal.Paths |
| PathEClass' | Data.ECTA.Internal.Paths |
| pathHeadUnsafe | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| pathsMatching | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| pathTailUnsafe | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| PathTrie | |
| 1 (Type/Class) | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| 2 (Data Constructor) | Data.ECTA.Internal.Paths |
| PathTrieAt | Data.ECTA.Internal.Paths.Zipper |
| pathTrieDescend | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| PathTrieSingleChild | Data.ECTA.Internal.Paths |
| pathTrieToZipper | Data.ECTA.Internal.Paths.Zipper |
| PathTrieZipper | |
| 1 (Type/Class) | Data.ECTA.Internal.Paths.Zipper |
| 2 (Data Constructor) | Data.ECTA.Internal.Paths.Zipper |
| pathTrieZipperAscend | Data.ECTA.Internal.Paths.Zipper |
| pathTrieZipperDescend | Data.ECTA.Internal.Paths.Zipper |
| PathZipperRoot | Data.ECTA.Internal.Paths.Zipper |
| PosLit | Application.SAT |
| Pretty | Data.Text.Extended.Pretty |
| pretty | Data.Text.Extended.Pretty |
| prettyPrintAllTerms | Application.TermSearch.TermSearch |
| prettyTerm | Application.TermSearch.TermSearch |
| queryCount | Data.Memoization.Metrics |
| rawMkEqConstraints | Data.ECTA.Internal.Paths |
| Rec | Data.ECTA.Internal.ECTA.Type |
| RecDepth | Data.ECTA.Internal.ECTA.Type |
| RecInt | Data.ECTA.Internal.ECTA.Type |
| RecIntersect | Data.ECTA.Internal.ECTA.Type |
| RecNodeId | Data.ECTA.Internal.ECTA.Type |
| RecUnint | Data.ECTA.Internal.ECTA.Type |
| reduceEdgeIntersection | Data.ECTA.Internal.ECTA.Operations |
| reduceEqConstraints | Data.ECTA.Internal.ECTA.Operations |
| reduceFully | Application.TermSearch.TermSearch |
| reduceFullyAndLog | Application.TermSearch.TermSearch |
| reducePartially | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| refold | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| relevantTermK | Application.TermSearch.TermSearch |
| relevantTermsOfSize | Application.TermSearch.TermSearch |
| relevantTermsUptoK | Application.TermSearch.TermSearch |
| replicator | Application.TermSearch.Utils |
| replicatorTau | Application.TermSearch.Utils |
| requirePath | Data.ECTA.Internal.ECTA.Operations |
| requirePathList | Data.ECTA.Internal.ECTA.Operations |
| resetAllCaches | Data.Memoization |
| resetCache | Data.Interned.Extended.HashTableBased |
| resetHashTable | Data.HashTable.Extended |
| runBenchmark | Application.TermSearch.Evaluation |
| runEnumerateM | Data.ECTA.Internal.ECTA.Enumeration, Data.ECTA |
| scGetPathTrie | Data.ECTA.Internal.ECTA.Enumeration |
| scGetUVar | Data.ECTA.Internal.ECTA.Enumeration |
| setChildren | Data.ECTA.Internal.ECTA.Type |
| smallestNonempty | Data.ECTA.Internal.Paths |
| speciallyTreatedFunctions | Application.TermSearch.Dataset |
| substFree | Data.ECTA.Internal.ECTA.Type |
| substSubpath | Data.ECTA.Internal.Paths |
| substTerm | Application.TermSearch.TermSearch |
| subsumptionOrderedEclasses | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| SuspendedConstraint | |
| 1 (Type/Class) | Data.ECTA.Internal.ECTA.Enumeration |
| 2 (Data Constructor) | Data.ECTA.Internal.ECTA.Enumeration |
| Symbol | |
| 1 (Type/Class) | Data.ECTA.Internal.Term, Data.ECTA.Term |
| 2 (Data Constructor) | Data.ECTA.Internal.Term, Data.ECTA.Term |
| Symbol' | Data.ECTA.Internal.Term |
| 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 |
| uEdgeChildren | Data.ECTA.Internal.ECTA.Type |
| uEdgeEcs | Data.ECTA.Internal.ECTA.Type |
| uEdgeSymbol | Data.ECTA.Internal.ECTA.Type |
| unfoldBounded | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| unfoldOuterRec | Data.ECTA.Internal.ECTA.Operations |
| Uninterned | Data.Interned.Extended.HashTableBased |
| UninternedEdge | |
| 1 (Type/Class) | Data.ECTA.Internal.ECTA.Type |
| 2 (Data Constructor) | Data.ECTA.Internal.ECTA.Type |
| uninternedEdge | Data.ECTA.Internal.ECTA.Type |
| UninternedEmptyNode | Data.ECTA.Internal.ECTA.Type |
| UninternedMu | Data.ECTA.Internal.ECTA.Type |
| UninternedNode | |
| 1 (Type/Class) | Data.ECTA.Internal.ECTA.Type |
| 2 (Data Constructor) | Data.ECTA.Internal.ECTA.Type |
| union | |
| 1 (Function) | Data.Persistent.UnionFind |
| 2 (Function) | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| UnionFind | Data.Persistent.UnionFind |
| unionPathTrie | Data.ECTA.Internal.Paths.Zipper |
| unionPathTrieZipper | Data.ECTA.Internal.Paths.Zipper |
| unPath | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| unPathEClass | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| unsafeGetEclasses | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| unsafeSubsumptionOrderedEclasses | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| UVar | Data.Persistent.UnionFind |
| uvarCounter | Data.ECTA.Internal.ECTA.Enumeration |
| UVarEliminated | Data.ECTA.Internal.ECTA.Enumeration |
| UVarEnumerated | Data.ECTA.Internal.ECTA.Enumeration |
| UVarGen | Data.Persistent.UnionFind |
| uvarRepresentative | Data.ECTA.Internal.ECTA.Enumeration |
| uvarToInt | Data.Persistent.UnionFind |
| UVarUnenumerated | Data.ECTA.Internal.ECTA.Enumeration |
| UVarValue | Data.ECTA.Internal.ECTA.Enumeration |
| uvarValues | Data.ECTA.Internal.ECTA.Enumeration |
| Var | Application.SAT |
| var1 | Application.TermSearch.Utils |
| var2 | Application.TermSearch.Utils |
| var3 | Application.TermSearch.Utils |
| var4 | Application.TermSearch.Utils |
| varAcc | Application.TermSearch.Utils |
| withInitialValues | Data.Persistent.UnionFind |
| withoutRedundantEdges | Data.ECTA.Internal.ECTA.Operations, Data.ECTA |
| zipperCurPathTrie | Data.ECTA.Internal.Paths.Zipper |
| _uvarCounter | Data.ECTA.Internal.ECTA.Enumeration |
| _uvarRepresentative | Data.ECTA.Internal.ECTA.Enumeration |
| _uvarValues | Data.ECTA.Internal.ECTA.Enumeration |