Module `Statefulness.Const`

type t =

include Mode_intf.Const with type t := Mode.Statefulness.Const.t

include Mode_intf.Lattice with type t := Mode.Statefulness.Const.t

val min : Mode.Statefulness.Const.t

val max : Mode.Statefulness.Const.t

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

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

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

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

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

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

val legacy : Mode.Statefulness.Const.t

Module Statefulness.Const