Module `Linearity.Const`Source

Sourcetype t =

include Mode_intf.Const with type t := t

include Mode_intf.Lattice with type t := t

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 Linearity.ConstSource