extrapolate-0.4.6: generalize counter-examples of test properties

Index - A

addWeightTest.Extrapolate.Core, Test.Extrapolate
arg1Test.Extrapolate.TypeBinding, Test.Extrapolate
arg2Test.Extrapolate.TypeBinding, Test.Extrapolate
arg3Test.Extrapolate.TypeBinding, Test.Extrapolate
arg4Test.Extrapolate.TypeBinding, Test.Extrapolate
arg5Test.Extrapolate.TypeBinding, Test.Extrapolate
arg6Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy1of1Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy1of2Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy1of3Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy1of4Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy1of5Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy1of6Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy2of2Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy2of3Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy2of4Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy2of5Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy2of6Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy3of3Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy3of4Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy3of5Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy3of6Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy4of4Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy4of5Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy4of6Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy5of5Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy5of6Test.Extrapolate.TypeBinding, Test.Extrapolate
argTy6of6Test.Extrapolate.TypeBinding, Test.Extrapolate
argumentTyTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core
arityTest.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core