Linearity.Const
type t =
| Many
| Once
include Mode_intf.Const with type t := t
include Mode_intf.Lattice with type t := 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 : Mode_intf.Fmt.formatter -> t -> unit
val legacy : t