empty | |
1 (Function) | Test.QuickSpec.Utils.TypeMap |
2 (Function) | Test.QuickSpec.Utils.TypeRel |
emptySig | Test.QuickSpec.Signature |
EQ | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
Equation | Test.QuickSpec.Equation |
equations | Test.QuickSpec.Equation |
erase | Test.QuickSpec.Utils.Typed |
eraseClasses | Test.QuickSpec.Generate |
eval | Test.QuickSpec.Term |
evalCC | Test.QuickSpec.Reasoning.CongruenceClosure |
evalEQ | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
evalUF | Test.QuickSpec.Reasoning.UnionFind |
execCC | Test.QuickSpec.Reasoning.CongruenceClosure |
execEQ | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
execUF | Test.QuickSpec.Reasoning.UnionFind |
Expr | |
1 (Type/Class) | Test.QuickSpec.Term |
2 (Data Constructor) | Test.QuickSpec.Term |