$$ | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
*/=* | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
*<* | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
*<=* | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
*==* | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
+++ | Test.Extrapolate.Utils |
+| | Test.Extrapolate.Core, Test.Extrapolate |
-&&- | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
-: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
-:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->:: | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
->:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>>>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>>>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>>>>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
->>>>>>>>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
// | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
//- | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
:$ | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
:~: | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
:~~: | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
==: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
==> | Test.Extrapolate.Core, Test.Extrapolate |
>- | Test.Extrapolate.TypeBinding, Test.Extrapolate |
>< | Test.Extrapolate.Core, Test.Extrapolate |
addWeight | Test.Extrapolate.Core, Test.Extrapolate |
arg1 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
arg2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
arg3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
arg4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
arg5 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
arg6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy1of1 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy1of2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy1of3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy1of4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy1of5 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy1of6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy2of2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy2of3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy2of4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy2of5 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy2of6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy3of3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy3of4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy3of5 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy3of6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy4of4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy4of5 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy4of6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy5of5 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy5of6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argTy6of6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
argumentTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
arity | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
background | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
bagCons | Test.Extrapolate.Core, Test.Extrapolate |
bagsOf | Test.Extrapolate.Core, Test.Extrapolate |
Binds | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
bool | Test.Extrapolate.TypeBinding, Test.Extrapolate |
boolTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
candidateConditions | Test.Extrapolate.ConditionalGeneralization, Test.Extrapolate.Core |
candidateGeneralizations | Test.Extrapolate.Generalization, Test.Extrapolate.Core |
candidateHoleGeneralizations | Test.Extrapolate.Generalization, Test.Extrapolate.Core |
canonicalization | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
canonicalizationWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
canonicalize | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
canonicalizeUsingHoles | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
canonicalizeUsingHolesWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
canonicalizeWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
canonicalVariations | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
cast | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
char | Test.Extrapolate.TypeBinding, Test.Extrapolate |
check | Test.Extrapolate.IO, Test.Extrapolate |
checkResult | Test.Extrapolate.IO, Test.Extrapolate |
classesFromSchemasAndVariables | Test.Extrapolate.Speculation, Test.Extrapolate.Core |
compareComplexity | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
compareIndex | Test.Extrapolate.Utils |
compareTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
concatMapT | Test.Extrapolate.Core, Test.Extrapolate |
concatT | Test.Extrapolate.Core, Test.Extrapolate |
condEqual | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
condEqualM | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
conditionalCounterExampleGeneralizations | Test.Extrapolate.ConditionalGeneralization, Test.Extrapolate.Core |
cons0 | Test.Extrapolate.Core, Test.Extrapolate |
cons1 | Test.Extrapolate.Core, Test.Extrapolate |
cons10 | Test.Extrapolate.Core, Test.Extrapolate |
cons11 | Test.Extrapolate.Core, Test.Extrapolate |
cons12 | Test.Extrapolate.Core, Test.Extrapolate |
cons2 | Test.Extrapolate.Core, Test.Extrapolate |
cons3 | Test.Extrapolate.Core, Test.Extrapolate |
cons4 | Test.Extrapolate.Core, Test.Extrapolate |
cons5 | Test.Extrapolate.Core, Test.Extrapolate |
cons6 | Test.Extrapolate.Core, Test.Extrapolate |
cons7 | Test.Extrapolate.Core, Test.Extrapolate |
cons8 | Test.Extrapolate.Core, Test.Extrapolate |
cons9 | Test.Extrapolate.Core, Test.Extrapolate |
consts | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
counterExample | Test.Extrapolate.Testable, Test.Extrapolate.Core |
counterExampleGeneralizations | Test.Extrapolate.Generalization, Test.Extrapolate.Core |
counterExamples | Test.Extrapolate.Testable, Test.Extrapolate.Core |
counterExampleWithGeneralizations | Test.Extrapolate.Core |
delay | Test.Extrapolate.Core, Test.Extrapolate |
deleteT | Test.Extrapolate.Core, Test.Extrapolate |
depth | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
deriveExpress | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
deriveExpressCascading | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
deriveExpressIfNeeded | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
deriveGeneralizable | Test.Extrapolate.Generalizable.Derive, Test.Extrapolate |
deriveGeneralizableCascading | Test.Extrapolate.Generalizable.Derive, Test.Extrapolate |
deriveGeneralizableIfNeeded | Test.Extrapolate.Generalizable.Derive, Test.Extrapolate |
deriveListable | Test.Extrapolate.Core, Test.Extrapolate |
deriveListableCascading | Test.Extrapolate.Core, Test.Extrapolate |
deriveName | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
deriveNameCascading | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
deriveNameIfNeeded | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
double | Test.Extrapolate.TypeBinding, Test.Extrapolate |
eith | Test.Extrapolate.TypeBinding, Test.Extrapolate |
eitherEq | Test.Extrapolate.Utils |
eitherOrd | Test.Extrapolate.Utils |
elemBy | Test.Extrapolate.Utils |
elementTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
eqT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
equal | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
etyp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
eval | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
evaluate | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
evl | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
exists | Test.Extrapolate.Core, Test.Extrapolate |
Expr | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Speculation, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
expr | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
Express | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
ExtraInstances | Test.Extrapolate.Testable, Test.Extrapolate.Core |
fails | Test.Extrapolate.Core, Test.Extrapolate |
false | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
fastCandidateGeneralizations | Test.Extrapolate.Generalization, Test.Extrapolate.Core |
fastCanonicalVariations | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
fill | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
filterT | Test.Extrapolate.Core, Test.Extrapolate |
finalResultTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
findValidApp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
float | Test.Extrapolate.TypeBinding, Test.Extrapolate |
fold | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
foldApp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
foldPair | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
foldr0 | Test.Extrapolate.Utils |
foldTrio | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
for | Test.Extrapolate.IO, Test.Extrapolate |
fromLeft | Test.Extrapolate.Utils |
fromRight | Test.Extrapolate.Utils |
funResultTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
funTyCon | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
gcast | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
gcast1 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
gcast2 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
Generalizable | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
groundBinds | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
grounds | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
hasCanonInstanceOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
hasInstanceOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
hasVar | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
height | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
holds | Test.Extrapolate.Core, Test.Extrapolate |
hole | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
holeAsTypeOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
holeOfTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
holes | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
HRefl | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
inequal | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
Instances | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
instances | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
int | Test.Extrapolate.TypeBinding, Test.Extrapolate |
int1 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
int2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
int3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
int4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
integer | Test.Extrapolate.TypeBinding, Test.Extrapolate |
intTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isApp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isAssignment | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isCanonical | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isCanonicalWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isCanonInstanceOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isConst | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isConstantNamed | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isEq | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isEqOrd | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isEqOrdT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isEqT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isFalse | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isFunTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isGround | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isHole | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isIllTyped | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isInstanceOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isListable | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isListableT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isOrd | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isOrdT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isSubexprOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isTrue | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isValue | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isVar | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
isWellTyped | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
less | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
lessOrEqual | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
lexicompare | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
lexicompareBy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
limitedResults | Test.Extrapolate.Testable, Test.Extrapolate.Core |
list | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
Listable | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
listEq | Test.Extrapolate.Utils |
listIntegral | Test.Extrapolate.Core, Test.Extrapolate |
listOrd | Test.Extrapolate.Utils |
listsOf | Test.Extrapolate.Core, Test.Extrapolate |
listsOfLength | Test.Extrapolate.Core, Test.Extrapolate |
listVars | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
listVarsAsTypeOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
listVarsWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
lookupComparison | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
lookupName | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
lookupNames | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
lookupTiers | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
lookupTiersT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mapCons | Test.Extrapolate.Core, Test.Extrapolate |
mapConsts | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mapSubexprs | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mapT | Test.Extrapolate.Core, Test.Extrapolate |
mapValues | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mapVars | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
match | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
matchWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
MaxConditionSize | Test.Extrapolate.Testable, Test.Extrapolate.Core |
maximumOn | Test.Extrapolate.Utils |
MaxTests | Test.Extrapolate.Testable, Test.Extrapolate.Core |
mayb | Test.Extrapolate.TypeBinding, Test.Extrapolate |
maybeEq | Test.Extrapolate.Utils |
maybeHoleOfTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
maybeOrd | Test.Extrapolate.Utils |
minimumOn | Test.Extrapolate.Utils |
mkCompareTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkComparison | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkComparisonLE | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkComparisonLT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkComparisonTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkConditionalEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkEq | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkEq1 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkEq2 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkEq3 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkEq4 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkFunTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkListable | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkName | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkNameWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkOrd | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkOrd1 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkOrd2 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkOrd3 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkOrd4 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mkOrdLessEqual | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
mtyp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
Name | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
name | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
names | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
nat | Test.Extrapolate.TypeBinding, Test.Extrapolate |
natural | Test.Extrapolate.TypeBinding, Test.Extrapolate |
noDupListCons | Test.Extrapolate.Core, Test.Extrapolate |
noDupListsOf | Test.Extrapolate.Core, Test.Extrapolate |
normalizeT | Test.Extrapolate.Core, Test.Extrapolate |
nubConsts | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
nubHoles | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
nubMerge | Test.Extrapolate.Utils |
nubMergeBy | Test.Extrapolate.Utils |
nubMergeMap | Test.Extrapolate.Utils |
nubMergeOn | Test.Extrapolate.Utils |
nubSubexprs | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
nubValues | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
nubVars | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
ofWeight | Test.Extrapolate.Core, Test.Extrapolate |
Option | Test.Extrapolate.Testable, Test.Extrapolate.Core |
option | Test.Extrapolate.Testable, Test.Extrapolate.Core |
options | Test.Extrapolate.Testable, Test.Extrapolate.Core |
ordering | Test.Extrapolate.TypeBinding, Test.Extrapolate |
orderingTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
pairEq | Test.Extrapolate.Utils |
pairOrd | Test.Extrapolate.Utils |
preludeInstances | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
preludeNameInstances | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
product3With | Test.Extrapolate.Core, Test.Extrapolate |
productMaybeWith | Test.Extrapolate.Core, Test.Extrapolate |
products | Test.Extrapolate.Core, Test.Extrapolate |
property | Test.Extrapolate.Testable, Test.Extrapolate.Core |
Proxy | |
1 (Data Constructor) | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
2 (Type/Class) | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
quadrupleEq | Test.Extrapolate.Utils |
quadrupleOrd | Test.Extrapolate.Utils |
rational | Test.Extrapolate.TypeBinding, Test.Extrapolate |
Refl | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
reifyEq | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
reifyEqOrd | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
reifyInstances | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
reifyInstances1 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
reifyListable | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
reifyName | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
reifyOrd | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
renameVarsBy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
replaceFun | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
reset | Test.Extrapolate.Core, Test.Extrapolate |
resultiers | Test.Extrapolate.Testable, Test.Extrapolate.Core |
results | Test.Extrapolate.Testable, Test.Extrapolate.Core |
resultTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
rnfTyCon | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
rnfTypeRep | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
setCons | Test.Extrapolate.Core, Test.Extrapolate |
setsOf | Test.Extrapolate.Core, Test.Extrapolate |
showExpr | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
showOpExpr | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
showPrecExpr | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
showsTypeRep | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
size | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
splitTyConApp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
string | Test.Extrapolate.TypeBinding, Test.Extrapolate |
sub | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
subexprs | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
subInstances | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
suchThat | Test.Extrapolate.Core, Test.Extrapolate |
takeBound | Test.Extrapolate.Utils |
Testable | Test.Extrapolate.Testable, Test.Extrapolate.Core, Test.Extrapolate |
testableAtoms | Test.Extrapolate.Testable, Test.Extrapolate.Core |
testableBackground | Test.Extrapolate.Testable, Test.Extrapolate.Core |
testableExtraInstances | Test.Extrapolate.Testable, Test.Extrapolate.Core |
testableGrounds | Test.Extrapolate.Testable, Test.Extrapolate.Core |
testableMaxConditionSize | Test.Extrapolate.Testable, Test.Extrapolate.Core |
testableMaxTests | Test.Extrapolate.Testable, Test.Extrapolate.Core |
testableMkEquation | Test.Extrapolate.Testable, Test.Extrapolate.Core |
testableNames | Test.Extrapolate.Testable, Test.Extrapolate.Core |
theoryAndReprConds | Test.Extrapolate.Speculation, Test.Extrapolate.Core |
Thy | Test.Extrapolate.Speculation, Test.Extrapolate.Core |
tiers | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
tiersFloating | Test.Extrapolate.Core, Test.Extrapolate |
tiersFractional | Test.Extrapolate.Core, Test.Extrapolate |
tinstances | Test.Extrapolate.Testable, Test.Extrapolate.Core |
toDynamic | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
toTiers | Test.Extrapolate.Core, Test.Extrapolate |
tripleEq | Test.Extrapolate.Utils |
tripleOrd | Test.Extrapolate.Utils |
trueRatio | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
tyArity | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
TyCon | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
tyConFingerprint | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
tyConModule | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
tyConName | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
tyConPackage | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typ | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
Typeable | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typeOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typeOf1 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typeOf2 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typeOf3 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typeOf4 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typeOf5 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typeOf6 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typeOf7 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
TypeRep | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typeRep | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typeRepArgs | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typeRepFingerprint | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typeRepTyCon | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
typesIn | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
uint1 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
uint2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
uint3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
uint4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
unand | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
unComparison | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
unConditionalEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
und | Test.Extrapolate.TypeBinding, Test.Extrapolate |
unEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
unfold | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
unfoldApp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
unfoldPair | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
unfoldTrio | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
unFunTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
unification | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
unify | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
unrepeatedVars | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
val | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
validApps | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
validConditions | Test.Extrapolate.ConditionalGeneralization, Test.Extrapolate.Core |
Value | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
value | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
values | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
var | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
varAsTypeOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
variableNamesFromTemplate | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
vars | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
With | Test.Extrapolate.Testable, Test.Extrapolate.Core |
withBackground | Test.Extrapolate.IO, Test.Extrapolate |
withConditionSize | Test.Extrapolate.IO, Test.Extrapolate |
withInstances | Test.Extrapolate.IO |
WithOption | Test.Extrapolate.Testable, Test.Extrapolate.Core |
witness | Test.Extrapolate.Core, Test.Extrapolate |
witnesses | Test.Extrapolate.Core, Test.Extrapolate |
word1 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
word2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
word3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
word4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
\/ | Test.Extrapolate.Core, Test.Extrapolate |
\\// | Test.Extrapolate.Core, Test.Extrapolate |