extrapolate-0.2.3: generalize counter-examples of test properties

Index - A

addWeightTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
areInstancesOfTest.Extrapolate.Core, Test.Extrapolate.Basic
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
arityTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
assignTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
assigningTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic
atomicConstantsTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic