Module `Common.Const`

include Mode_intf.Lattice

type t

val min : Const.t

val max : Const.t

val le : Const.t -> Const.t -> bool

val equal : Const.t -> Const.t -> bool

equal a b is equivalent to le a b && le b a, but defined separately for performance reasons

val join : Const.t -> Const.t -> Const.t

val meet : Const.t -> Const.t -> Const.t

val print : Stdlib.Format.formatter -> Const.t -> unit

val legacy : Const.t

Module Common.Const