Mode_intf.Lattice
type t
val min : t
val max : t
val le : t -> t -> bool
val equal : t -> t -> bool
equal a b is equivalent to le a b && le b a, but defined separately for performance reasons
equal a b
le a b && le b a
val join : t -> t -> t
val meet : t -> t -> t
val print : Stdlib.Format.formatter -> t -> unit