Module Uniqueness.Const

type t =
  1. | Unique
  2. | Aliased
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

val join : t -> t -> t
val meet : t -> t -> t
val print : Mode_intf.Fmt.formatter -> t -> unit
val legacy : t