Module `Comonadic.Const`

include Ocaml_typing.Mode_intf.Const
  with type t =
         Ocaml_typing.Mode.Regionality.Const.t Ocaml_typing.Mode.comonadic_with

include Ocaml_typing.Mode_intf.Lattice
  with type t =
         Ocaml_typing.Mode.Regionality.Const.t Ocaml_typing.Mode.comonadic_with

type t = Ocaml_typing.Mode.Regionality.Const.t Ocaml_typing.Mode.comonadic_with

val min : Ocaml_typing.Mode.Value.Comonadic.Const.t

val max : Ocaml_typing.Mode.Value.Comonadic.Const.t

val le : 
  Ocaml_typing.Mode.Value.Comonadic.Const.t ->
  Ocaml_typing.Mode.Value.Comonadic.Const.t ->
  bool

val equal : 
  Ocaml_typing.Mode.Value.Comonadic.Const.t ->
  Ocaml_typing.Mode.Value.Comonadic.Const.t ->
  bool

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

val join : 
  Ocaml_typing.Mode.Value.Comonadic.Const.t ->
  Ocaml_typing.Mode.Value.Comonadic.Const.t ->
  Ocaml_typing.Mode.Value.Comonadic.Const.t

val meet : 
  Ocaml_typing.Mode.Value.Comonadic.Const.t ->
  Ocaml_typing.Mode.Value.Comonadic.Const.t ->
  Ocaml_typing.Mode.Value.Comonadic.Const.t

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

val legacy : Ocaml_typing.Mode.Value.Comonadic.Const.t

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

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

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

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

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

Module Comonadic.Const