Module `Staticity.Const`Source

include Mode_intf.Lattice with type t = const

Sourcetype t = const

Sourceval min : t

Sourceval max : t

Sourceval le : t -> t -> bool

Sourceval equal : t -> t -> bool

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

Sourceval join : t -> t -> t

Sourceval meet : t -> t -> t

Sourceval print : Ocaml_typing.Mode_intf.Fmt.formatter -> t -> unit

Sourceval legacy : t

Module Staticity.ConstSource