úΧ^None)Convert a QuickCheck property to a Chell . Çimport Test.Chell import Test.Chell.QuickCheck import Test.QuickCheck hiding (property) test_NullLength :: Test test_NullLength = property "null-length" (xs -> not (null xs) ==> length xs > 0)  /chell-quickcheck-0.2.5.1-8p2nz1AhEx91MfkTYWJGRyTest.Chell.QuickCheckproperty$chell-0.4.0.2-2HMxQov20EB3PvRw9kNEG1Test.Chell.TypesTest computeSizeroundTomaxDiscardedTests