Test.Extrapolate.Core
class Generalizable a
this
these
usefuns
(+++)
nameOf
backgroundOf
data Option
options
data WithOption a
maxTests
extraInstances
maxConditionSize
counterExampleGen
counterExampleGens
generalizationsCE
generalizationsCEC
generalizationsCounts
conditionalGeneralization
matchList
newMatches
class Testable a
results
areInstancesOf
expressionsT