Test.Extrapolate.Core

class Generalizable a

this

backgroundWith

(+++)

backgroundOf

bgEq

bgOrd

bgEqWith1

bgEqWith2

data Option

data WithOption a

maxTests

extraInstances

maxConditionSize

hasEq

(*==*)

(*/=*)

(*<=*)

(*<*)

tBackground

counterExamples

counterExampleGen

counterExampleGens

generalizations

generalizationsCE

generalizationsCEC

generalizationsCounts

atoms

theoryAndReprExprs

theoryAndReprConds

candidateConditions

validConditions

weakestCondition

getBackground

fullInstances

matchList

newMatches

class Testable a

results

areInstancesOf