extrapolate-0.0.1: generalize counter-examples of test properties

Index - I

implicationTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
inequalTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
Instance 
1 (Data Constructor)Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
2 (Type/Class)Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
InstancesTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
instancesTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
instanceTypeTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
intTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
int1Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
int2Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
int3Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
int4Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
integerTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isAssignmentTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isAssignmentTestTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isCanonInstanceOfTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isConstantNamedTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isEqTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isEqETest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isEqOrdTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isEqOrdETest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isEquationTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isInstanceOfTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isListableTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isOrdTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isOrdETest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
isSubTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate