import Test.QuickCheck (Arbitrary(..), Gen, Property, (==>))
import Comparisons ((~=), nearly_ge)
import FunctionValues (FunctionValues(..), empty_values)
import Misc (factorial)
import Test.QuickCheck (Arbitrary(..), Gen, Property, (==>))
import Comparisons ((~=), nearly_ge)
import FunctionValues (FunctionValues(..), empty_values)
import Misc (factorial)