Module `Monadic.Const`

include Mode_intf.Const with type t = Mode.monadic

include Mode_intf.Lattice with type t = Mode.monadic

type t = Mode.monadic

val min : Mode.Value.Monadic.Const.t

val max : Mode.Value.Monadic.Const.t

val le : Mode.Value.Monadic.Const.t -> Mode.Value.Monadic.Const.t -> bool

val equal : Mode.Value.Monadic.Const.t -> Mode.Value.Monadic.Const.t -> bool

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

val join : 
  Mode.Value.Monadic.Const.t ->
  Mode.Value.Monadic.Const.t ->
  Mode.Value.Monadic.Const.t

val meet : 
  Mode.Value.Monadic.Const.t ->
  Mode.Value.Monadic.Const.t ->
  Mode.Value.Monadic.Const.t

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

val legacy : Mode.Value.Monadic.Const.t

val min_with : 'a Mode.Value.Monadic.Axis.t -> 'a -> Mode.Value.Monadic.Const.t

min_with ax elt returns min but with the axis ax set to elt.

val max_with : 'a Mode.Value.Monadic.Axis.t -> 'a -> Mode.Value.Monadic.Const.t

max_with ax elt returns max but with the axis ax set to elt.

module Per_axis : 
  Solver_intf.Lattices
    with type 'a obj := 'a Mode.Value.Monadic.Axis.t
     and type 'a elt := 'a

Module Monadic.Const