Mode_intf.Total
A lattice is total order, if for any a b, a <= b or b <= a.
a
b
a <= b
b <= a
If it's also finite, then the ordering can be represented as a monotone injection ord into int, where a <= b iff ord a <= ord b.
ord
int
ord a <= ord b
type t
val ord : t -> int
val min : t
val max : t