| $$ | Test.QuickSpec.Reasoning.CongruenceClosure |
| :=: | Test.QuickSpec.Equation |
| :==: | Test.QuickSpec.Equation |
| :> | Test.QuickSpec.Reasoning.UnionFind |
| :\/: | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| =:= | |
| 1 (Function) | Test.QuickSpec.Reasoning.UnionFind |
| 2 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 3 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| =?= | |
| 1 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 2 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| A | |
| 1 (Type/Class) | Test.QuickSpec.Prelude, Test.QuickSpec |
| 2 (Data Constructor) | Test.QuickSpec.Prelude |
| always | Test.QuickSpec.TestTotality |
| App | Test.QuickSpec.Term |
| app | Test.QuickSpec.Term |
| approximate | Test.QuickSpec.Approximate |
| args | Test.QuickSpec.Term |
| argumentTypes | Test.QuickSpec.Signature |
| argUse | Test.QuickSpec.Reasoning.CongruenceClosure |
| arith | Test.QuickSpec.Prelude, Test.QuickSpec |
| arity | Test.QuickSpec.Term |
| Atom | |
| 1 (Type/Class) | Test.QuickSpec.Term |
| 2 (Data Constructor) | Test.QuickSpec.Term |
| B | |
| 1 (Type/Class) | Test.QuickSpec.Prelude, Test.QuickSpec |
| 2 (Data Constructor) | Test.QuickSpec.Prelude |
| background | Test.QuickSpec.Signature, Test.QuickSpec |
| blind0 | Test.QuickSpec.Signature, Test.QuickSpec |
| blind1 | Test.QuickSpec.Signature, Test.QuickSpec |
| blind2 | Test.QuickSpec.Signature, Test.QuickSpec |
| blind3 | Test.QuickSpec.Signature, Test.QuickSpec |
| blind4 | Test.QuickSpec.Signature, Test.QuickSpec |
| bools | Test.QuickSpec.Prelude, Test.QuickSpec |
| C | |
| 1 (Type/Class) | Test.QuickSpec.Prelude, Test.QuickSpec |
| 2 (Data Constructor) | Test.QuickSpec.Prelude |
| cast | Test.QuickSpec.Utils.Typeable |
| CC | Test.QuickSpec.Reasoning.CongruenceClosure |
| classes | Test.QuickSpec.TestTree |
| classify | Test.QuickSpec.Utils.TypeRel |
| con | |
| 1 (Function) | Test.QuickSpec.Term |
| 2 (Function) | Test.QuickSpec.Signature, Test.QuickSpec |
| Const | Test.QuickSpec.Term |
| Constant | |
| 1 (Type/Class) | Test.QuickSpec.Term |
| 2 (Data Constructor) | Test.QuickSpec.Term |
| constantApplications | Test.QuickSpec.Signature |
| constantArgs | Test.QuickSpec.Signature |
| constantRes | Test.QuickSpec.Signature |
| constants | Test.QuickSpec.Signature |
| constantSig | Test.QuickSpec.Signature |
| constantSymbols | Test.QuickSpec.Signature |
| Context | |
| 1 (Type/Class) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| 2 (Data Constructor) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| 3 (Type/Class) | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| 4 (Data Constructor) | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| createUniverse | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| cutOff | Test.QuickSpec.TestTree |
| defines | Test.QuickSpec.Main |
| definitions | Test.QuickSpec.Main |
| depth | Test.QuickSpec.Term |
| disambiguate | Test.QuickSpec.Signature |
| discrete | Test.QuickSpec.TestTree |
| disperse | Test.QuickSpec.Utils.TypeRel |
| empty | |
| 1 (Function) | Test.QuickSpec.Utils.TypeMap |
| 2 (Function) | Test.QuickSpec.Utils.TypeRel |
| emptySig | Test.QuickSpec.Signature |
| EQ | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| equal | |
| 1 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| 2 (Function) | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| Equation | Test.QuickSpec.Equation |
| equations | Test.QuickSpec.Equation |
| erase | Test.QuickSpec.Utils.Typed |
| eraseClasses | Test.QuickSpec.Generate |
| eraseEquation | Test.QuickSpec.Equation |
| eval | Test.QuickSpec.Term |
| evalCC | Test.QuickSpec.Reasoning.CongruenceClosure |
| evalEQ | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| evalPEQ | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| evalUF | Test.QuickSpec.Reasoning.UnionFind |
| execCC | Test.QuickSpec.Reasoning.CongruenceClosure |
| execEQ | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| execPEQ | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| execUF | Test.QuickSpec.Reasoning.UnionFind |
| Expr | |
| 1 (Type/Class) | Test.QuickSpec.Term |
| 2 (Data Constructor) | Test.QuickSpec.Term |
| findWitness | Test.QuickSpec.Signature |
| flatten | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| fromList | |
| 1 (Function) | Test.QuickSpec.Utils.TypeMap |
| 2 (Function) | Test.QuickSpec.Utils.TypeRel |
| frozen | Test.QuickSpec.Reasoning.CongruenceClosure |
| fun0 | Test.QuickSpec.Signature, Test.QuickSpec |
| fun1 | Test.QuickSpec.Signature, Test.QuickSpec |
| fun2 | Test.QuickSpec.Signature, Test.QuickSpec |
| fun3 | Test.QuickSpec.Signature, Test.QuickSpec |
| fun4 | Test.QuickSpec.Signature, Test.QuickSpec |
| functor | Test.QuickSpec.Term |
| funs | |
| 1 (Function) | Test.QuickSpec.Term |
| 2 (Function) | Test.QuickSpec.Prelude, Test.QuickSpec |
| funUse | Test.QuickSpec.Reasoning.CongruenceClosure |
| gather | Test.QuickSpec.Utils.TypeRel |
| gcast | Test.QuickSpec.Utils.Typeable |
| generate | Test.QuickSpec.Generate |
| genPartial | Test.QuickSpec.Approximate |
| genSeeds | Test.QuickSpec.Generate |
| get | |
| 1 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| 2 (Function) | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| GP | Test.QuickSpec.Approximate |
| gvars | Test.QuickSpec.Signature, Test.QuickSpec |
| gvars0 | Test.QuickSpec.Signature |
| gvars1 | Test.QuickSpec.Signature |
| gvars2 | Test.QuickSpec.Signature |
| holes | Test.QuickSpec.Term |
| index | Test.QuickSpec.Term |
| inhabitedTypes | Test.QuickSpec.Signature |
| initial | |
| 1 (Function) | Test.QuickSpec.Reasoning.UnionFind |
| 2 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 3 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| 4 (Function) | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| innerZip | Test.QuickSpec.Main |
| irrelevant | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| isOp | Test.QuickSpec.Term |
| isRep | Test.QuickSpec.Reasoning.UnionFind |
| isSorted | Test.QuickSpec.Utils |
| isSortedBy | Test.QuickSpec.Utils |
| isUndefined | Test.QuickSpec.Term |
| lhsWitnesses | Test.QuickSpec.Signature |
| liftCC | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| lifted | Test.QuickSpec.Approximate |
| liftEQ | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| List | Test.QuickSpec.Utils.Typed |
| lists | Test.QuickSpec.Prelude, Test.QuickSpec |
| lookup | |
| 1 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 2 (Function) | Test.QuickSpec.Utils.TypeMap |
| 3 (Function) | Test.QuickSpec.Utils.TypeRel |
| lookupWitness | Test.QuickSpec.Signature |
| mapConstant | Test.QuickSpec.Term |
| mapSome | Test.QuickSpec.Utils.Typed |
| mapSome2 | Test.QuickSpec.Utils.Typed |
| mapSomeM | Test.QuickSpec.Utils.Typed |
| mapValues | |
| 1 (Function) | Test.QuickSpec.Utils.TypeMap |
| 2 (Function) | Test.QuickSpec.Utils.TypeRel |
| mapValues2 | Test.QuickSpec.Utils.TypeMap |
| mapVariable | Test.QuickSpec.Term |
| mapVars | Test.QuickSpec.Term |
| maxDepth | |
| 1 (Function) | Test.QuickSpec.Signature |
| 2 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| maxDepth_ | Test.QuickSpec.Signature |
| maxQuickCheckSize | Test.QuickSpec.Signature |
| maxQuickCheckSize_ | Test.QuickSpec.Signature |
| maxSize | Test.QuickSpec.Signature |
| maxSize_ | Test.QuickSpec.Signature |
| merge | Test.QuickSpec.Utils |
| minTests | Test.QuickSpec.Signature |
| minTests_ | Test.QuickSpec.Signature |
| mkFunTy | Test.QuickSpec.Utils.Typeable |
| mkTyConApp | Test.QuickSpec.Utils.Typeable |
| name | Test.QuickSpec.Term |
| newSym | |
| 1 (Function) | Test.QuickSpec.Reasoning.UnionFind |
| 2 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| NoTarget | Test.QuickSpec.Main |
| numResults | Test.QuickSpec.TestTree |
| numTests | Test.QuickSpec.TestTree |
| O | |
| 1 (Type/Class) | Test.QuickSpec.Utils.Typed |
| 2 (Data Constructor) | Test.QuickSpec.Utils.Typed |
| observe | Test.QuickSpec.Signature |
| Observer | |
| 1 (Type/Class) | Test.QuickSpec.Signature |
| 2 (Data Constructor) | Test.QuickSpec.Signature |
| observer1 | Test.QuickSpec.Signature, Test.QuickSpec |
| observer2 | Test.QuickSpec.Signature, Test.QuickSpec |
| observer3 | Test.QuickSpec.Signature, Test.QuickSpec |
| observer4 | Test.QuickSpec.Signature, Test.QuickSpec |
| observers | Test.QuickSpec.Signature |
| observerSig | Test.QuickSpec.Signature |
| observing | Test.QuickSpec.Signature |
| One | Test.QuickSpec.Prelude |
| ord | Test.QuickSpec.Signature |
| ords | Test.QuickSpec.Signature |
| ordSig | Test.QuickSpec.Signature |
| orElse | Test.QuickSpec.Utils |
| Partial | |
| 1 (Type/Class) | Test.QuickSpec.Approximate |
| 2 (Data Constructor) | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| partial | |
| 1 (Function) | Test.QuickSpec.Signature |
| 2 (Function) | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| partialGen | Test.QuickSpec.Term |
| partialSig | Test.QuickSpec.Signature |
| partitionBy | Test.QuickSpec.Utils |
| PEQ | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| PEquation | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| PGen | |
| 1 (Type/Class) | Test.QuickSpec.Term |
| 2 (Data Constructor) | Test.QuickSpec.Term |
| pgen | Test.QuickSpec.Term |
| Plug | |
| 1 (Type/Class) | Test.QuickSpec.Approximate |
| 2 (Data Constructor) | Test.QuickSpec.Approximate |
| plug | Test.QuickSpec.Approximate |
| pobserver | Test.QuickSpec.Approximate |
| Precondition | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| precondition | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| prelude | Test.QuickSpec.Prelude, Test.QuickSpec |
| primCon0 | Test.QuickSpec.Signature |
| primCon1 | Test.QuickSpec.Signature |
| primCon2 | Test.QuickSpec.Signature |
| primCon3 | Test.QuickSpec.Signature |
| primCon4 | Test.QuickSpec.Signature |
| primVars0 | Test.QuickSpec.Signature |
| primVars1 | Test.QuickSpec.Signature |
| primVars2 | Test.QuickSpec.Signature |
| promoteVal | Test.QuickSpec.Term |
| prune | Test.QuickSpec.Main |
| put | |
| 1 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| 2 (Function) | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| pvars | Test.QuickSpec.Approximate |
| quickSpec | Test.QuickSpec.Main, Test.QuickSpec |
| rel | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| rep | |
| 1 (Function) | Test.QuickSpec.Reasoning.UnionFind |
| 2 (Function) | Test.QuickSpec.Reasoning.CongruenceClosure |
| 3 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| 4 (Function) | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| repeatM | Test.QuickSpec.Utils |
| Replacement | Test.QuickSpec.Reasoning.UnionFind |
| reps | Test.QuickSpec.TestTree |
| rightArrow | Test.QuickSpec.Utils.Typed |
| runCC | Test.QuickSpec.Reasoning.CongruenceClosure |
| runEQ | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| runPEQ | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| runTool | Test.QuickSpec.Main |
| runUF | Test.QuickSpec.Reasoning.UnionFind |
| S | |
| 1 (Type/Class) | Test.QuickSpec.Reasoning.UnionFind |
| 2 (Type/Class) | Test.QuickSpec.Reasoning.CongruenceClosure |
| sampleList | Test.QuickSpec.Main |
| sampleTerms | Test.QuickSpec.Main, Test.QuickSpec |
| saturatedTypes | Test.QuickSpec.Signature |
| Several | Test.QuickSpec.Utils.Typed |
| several | Test.QuickSpec.Utils.Typed |
| showEquation | Test.QuickSpec.Equation |
| showOp | Test.QuickSpec.Term |
| showPEquation | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| showTypedEquation | Test.QuickSpec.Equation |
| Sig | |
| 1 (Type/Class) | Test.QuickSpec.Signature, Test.QuickSpec |
| 2 (Data Constructor) | Test.QuickSpec.Signature |
| Signature | Test.QuickSpec.Signature, Test.QuickSpec |
| signature | Test.QuickSpec.Signature, Test.QuickSpec |
| sigToHaskell | Test.QuickSpec.Signature |
| silent | Test.QuickSpec.Term |
| singleton | |
| 1 (Function) | Test.QuickSpec.Utils.TypeMap |
| 2 (Function) | Test.QuickSpec.Utils.TypeRel |
| size | Test.QuickSpec.Term |
| Some | |
| 1 (Type/Class) | Test.QuickSpec.Utils.Typed |
| 2 (Data Constructor) | Test.QuickSpec.Utils.Typed |
| some | Test.QuickSpec.Utils.Typed |
| some2 | Test.QuickSpec.Utils.Typed |
| someType | Test.QuickSpec.Utils.Typed |
| someWitness | Test.QuickSpec.Utils.Typed |
| splitArrow | Test.QuickSpec.Utils.Typed |
| splitTyConApp | Test.QuickSpec.Utils.Typeable |
| spoony | Test.QuickSpec.Utils |
| Strategy | Test.QuickSpec.Term |
| Subst | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| subst | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| substs | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| summarise | Test.QuickSpec.Signature |
| Summary | |
| 1 (Type/Class) | Test.QuickSpec.Signature |
| 2 (Data Constructor) | Test.QuickSpec.Signature |
| summaryBackground | Test.QuickSpec.Signature |
| summaryDepth | Test.QuickSpec.Signature |
| summaryFunctions | Test.QuickSpec.Signature |
| summaryNoVars | Test.QuickSpec.Signature |
| summaryObserved | Test.QuickSpec.Signature |
| summaryQuickCheckSize | Test.QuickSpec.Signature |
| summarySize | Test.QuickSpec.Signature |
| summaryTests | Test.QuickSpec.Signature |
| summaryUninhabited | Test.QuickSpec.Signature |
| summaryUntestable | Test.QuickSpec.Signature |
| summaryVariables | Test.QuickSpec.Signature |
| sym | Test.QuickSpec.Term |
| Symbol | |
| 1 (Type/Class) | Test.QuickSpec.Term |
| 2 (Data Constructor) | Test.QuickSpec.Term |
| symbol | Test.QuickSpec.Term |
| symbolArity | Test.QuickSpec.Term |
| symbols | |
| 1 (Function) | Test.QuickSpec.Term |
| 2 (Function) | Test.QuickSpec.Signature |
| symbolType | Test.QuickSpec.Term |
| tag | Test.QuickSpec.Utils.Typed |
| Tagged | |
| 1 (Type/Class) | Test.QuickSpec.Utils.Typed |
| 2 (Data Constructor) | Test.QuickSpec.Utils.Typed |
| tagged | Test.QuickSpec.Utils.Typed |
| Target | |
| 1 (Type/Class) | Test.QuickSpec.Main |
| 2 (Data Constructor) | Test.QuickSpec.Main |
| target | Test.QuickSpec.Main |
| Term | Test.QuickSpec.Term |
| term | Test.QuickSpec.Term |
| terms | |
| 1 (Function) | Test.QuickSpec.TestTree |
| 2 (Function) | Test.QuickSpec.Generate |
| terms' | Test.QuickSpec.Generate |
| test | |
| 1 (Function) | Test.QuickSpec.TestTree |
| 2 (Function) | Test.QuickSpec.Generate |
| test' | Test.QuickSpec.Generate |
| testable | Test.QuickSpec.Signature |
| testEquation | Test.QuickSpec.TestTotality |
| TestResults | Test.QuickSpec.TestTree |
| testTotality | Test.QuickSpec.TestTotality |
| TestTree | Test.QuickSpec.TestTree |
| toList | |
| 1 (Function) | Test.QuickSpec.Utils.TypeMap |
| 2 (Function) | Test.QuickSpec.Utils.TypeRel |
| Total | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| total | |
| 1 (Function) | Test.QuickSpec.Signature |
| 2 (Function) | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| totalGen | Test.QuickSpec.Term |
| Totality | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| totalSig | Test.QuickSpec.Signature |
| toValuation | Test.QuickSpec.Generate |
| Two | |
| 1 (Type/Class) | Test.QuickSpec.Prelude, Test.QuickSpec |
| 2 (Data Constructor) | Test.QuickSpec.Prelude |
| Typeable | Test.QuickSpec.Utils.Typeable |
| Typeable1 | Test.QuickSpec.Utils.Typeable |
| Typeable2 | Test.QuickSpec.Utils.Typeable |
| TypedEquation | Test.QuickSpec.Equation |
| TypeMap | Test.QuickSpec.Utils.TypeMap |
| typeOf | Test.QuickSpec.Utils.Typeable |
| typeOf1 | Test.QuickSpec.Utils.Typeable |
| TypeRel | Test.QuickSpec.Utils.TypeRel |
| TypeRep | Test.QuickSpec.Utils.Typeable |
| typeRepTyCon | Test.QuickSpec.Utils.Typeable |
| typeRepTyCons | Test.QuickSpec.Utils.Typed |
| typeSig | Test.QuickSpec.Signature |
| UF | Test.QuickSpec.Reasoning.UnionFind |
| unbuffered | Test.QuickSpec.Utils |
| unConstant | Test.QuickSpec.Term |
| undef | Test.QuickSpec.Term |
| undefinedSig | Test.QuickSpec.Signature |
| undefinedsSig | Test.QuickSpec.Main |
| unify | |
| 1 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| 2 (Function) | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| union | Test.QuickSpec.TestTree |
| Universe | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| universe | |
| 1 (Function) | Test.QuickSpec.Reasoning.NaiveEquationalReasoning |
| 2 (Function) | Test.QuickSpec.Main |
| unlifted | Test.QuickSpec.Approximate |
| unO | Test.QuickSpec.Utils.Typed |
| unPlug | Test.QuickSpec.Approximate |
| unTypeRep | Test.QuickSpec.Utils.Typeable |
| unValuation | Test.QuickSpec.Term |
| unVariable | Test.QuickSpec.Term |
| updateDepth | Test.QuickSpec.Signature |
| updateSize | Test.QuickSpec.Signature |
| Used | |
| 1 (Type/Class) | Test.QuickSpec.Signature |
| 2 (Data Constructor) | Test.QuickSpec.Signature |
| uses | Test.QuickSpec.Signature |
| usort | Test.QuickSpec.Utils |
| Valuation | |
| 1 (Type/Class) | Test.QuickSpec.Term |
| 2 (Data Constructor) | Test.QuickSpec.Term |
| valuation | Test.QuickSpec.Term |
| value | Test.QuickSpec.Term |
| Var | Test.QuickSpec.Term |
| var | Test.QuickSpec.Term |
| Variable | |
| 1 (Type/Class) | Test.QuickSpec.Term |
| 2 (Data Constructor) | Test.QuickSpec.Term |
| 3 (Data Constructor) | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| variables | Test.QuickSpec.Signature |
| variableSig | Test.QuickSpec.Signature |
| variableSymbols | Test.QuickSpec.Signature |
| variableTypes | Test.QuickSpec.Signature |
| vars | |
| 1 (Function) | Test.QuickSpec.Term |
| 2 (Function) | Test.QuickSpec.Signature, Test.QuickSpec |
| 3 (Function) | Test.QuickSpec.Reasoning.PartialEquationalReasoning |
| vars0 | Test.QuickSpec.Signature |
| vars1 | Test.QuickSpec.Signature |
| vars2 | Test.QuickSpec.Signature |
| withDepth | Test.QuickSpec.Signature, Test.QuickSpec |
| without | Test.QuickSpec.Signature, Test.QuickSpec |
| withQuickCheckSize | Test.QuickSpec.Signature, Test.QuickSpec |
| withSize | Test.QuickSpec.Signature, Test.QuickSpec |
| withTests | Test.QuickSpec.Signature, Test.QuickSpec |
| Witness | |
| 1 (Type/Class) | Test.QuickSpec.Utils.Typed |
| 2 (Data Constructor) | Test.QuickSpec.Utils.Typed |
| witness | Test.QuickSpec.Utils.Typed |
| witnessArrow | Test.QuickSpec.Signature |
| Witnessed | Test.QuickSpec.Utils.Typed |
| witnesses | Test.QuickSpec.Signature |
| witnessType | Test.QuickSpec.Utils.Typed |