extrapolate-0.4.6: generalize counter-examples of test properties

Index - D

delayTest.Extrapolate.Core, Test.Extrapolate
deleteTTest.Extrapolate.Core, Test.Extrapolate
depthTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
deriveExpressTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
deriveExpressCascadingTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
deriveExpressIfNeededTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
deriveGeneralizableTest.Extrapolate.Generalizable.Derive, Test.Extrapolate
deriveGeneralizableCascadingTest.Extrapolate.Generalizable.Derive, Test.Extrapolate
deriveGeneralizableIfNeededTest.Extrapolate.Generalizable.Derive, Test.Extrapolate
deriveListableTest.Extrapolate.Core, Test.Extrapolate
deriveListableCascadingTest.Extrapolate.Core, Test.Extrapolate
deriveNameTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
deriveNameCascadingTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
deriveNameIfNeededTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
doubleTest.Extrapolate.TypeBinding, Test.Extrapolate