extrapolate-0.0.1: generalize counter-examples of test properties

Index - H

hasCanonInstanceOfTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
hasInstanceOfTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
hasVarTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
holdsTest.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
holeTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
holeOfTyTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate
holesTest.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate