extrapolate-0.0.1: generalize counter-examples of test properties

Index - A

addWeightTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
areInstancesOfTest.Extrapolate.Core, Test.Extrapolate.Basic, 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
argTypes0Test.Extrapolate.TypeBinding, Test.Extrapolate
argTypes1Test.Extrapolate.TypeBinding, Test.Extrapolate
argTypes10Test.Extrapolate.TypeBinding, Test.Extrapolate
argTypes11Test.Extrapolate.TypeBinding, Test.Extrapolate
argTypes12Test.Extrapolate.TypeBinding, Test.Extrapolate
argTypes2Test.Extrapolate.TypeBinding, Test.Extrapolate
argTypes3Test.Extrapolate.TypeBinding, Test.Extrapolate
argTypes4Test.Extrapolate.TypeBinding, Test.Extrapolate
argTypes5Test.Extrapolate.TypeBinding, Test.Extrapolate
argTypes6Test.Extrapolate.TypeBinding, Test.Extrapolate
argTypes7Test.Extrapolate.TypeBinding, Test.Extrapolate
argTypes8Test.Extrapolate.TypeBinding, Test.Extrapolate
argTypes9Test.Extrapolate.TypeBinding, Test.Extrapolate
argTys1Test.Extrapolate.TypeBinding, Test.Extrapolate
argTys2Test.Extrapolate.TypeBinding, Test.Extrapolate
arityTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
assignTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
assigningTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
atomicConstantsTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate