ord -package:sbv -package:leancheck -package:cabal-install-solver -package:text package:checkers
Ord laws.
gen a ought to generate values
b satisfying
a
rel b fairly often.
Ord morphism properties.
h is an
Ord morphism
iff:
a <= b = h a <= h b
h (a `min` b) = h a `min` h b
h (a `max` b) = h a `max` h b
Total ordering.
gen a ought to generate values b satisfying a
rel b fairly often.