Lattices.Total
module L : Mode_intf.Total
val min : L.t
val max : L.t
val le : L.t -> L.t -> bool
val equal : L.t -> L.t -> bool
val join : L.t -> L.t -> L.t
val meet : L.t -> L.t -> L.t