ord -package:sbv -package:prelude-compat -package:unicode-data 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.