Module `Alloc.Const`

include Ocaml_typing.Mode_intf.Const
  with type t =
         (Ocaml_typing.Mode.Locality.Const.t,
           Ocaml_typing.Mode.Linearity.Const.t,
           Ocaml_typing.Mode.Uniqueness.Const.t,
           Ocaml_typing.Mode.Portability.Const.t,
           Ocaml_typing.Mode.Contention.Const.t,
           Ocaml_typing.Mode.Forkable.Const.t,
           Ocaml_typing.Mode.Yielding.Const.t,
           Ocaml_typing.Mode.Statefulness.Const.t,
           Ocaml_typing.Mode.Visibility.Const.t,
           Ocaml_typing.Mode.Staticity.Const.t)
           Ocaml_typing.Mode.Alloc.modes

include Ocaml_typing.Mode_intf.Lattice
  with type t =
         (Ocaml_typing.Mode.Locality.Const.t,
           Ocaml_typing.Mode.Linearity.Const.t,
           Ocaml_typing.Mode.Uniqueness.Const.t,
           Ocaml_typing.Mode.Portability.Const.t,
           Ocaml_typing.Mode.Contention.Const.t,
           Ocaml_typing.Mode.Forkable.Const.t,
           Ocaml_typing.Mode.Yielding.Const.t,
           Ocaml_typing.Mode.Statefulness.Const.t,
           Ocaml_typing.Mode.Visibility.Const.t,
           Ocaml_typing.Mode.Staticity.Const.t)
           Ocaml_typing.Mode.Alloc.modes

type t =
  (Ocaml_typing.Mode.Locality.Const.t,
    Ocaml_typing.Mode.Linearity.Const.t,
    Ocaml_typing.Mode.Uniqueness.Const.t,
    Ocaml_typing.Mode.Portability.Const.t,
    Ocaml_typing.Mode.Contention.Const.t,
    Ocaml_typing.Mode.Forkable.Const.t,
    Ocaml_typing.Mode.Yielding.Const.t,
    Ocaml_typing.Mode.Statefulness.Const.t,
    Ocaml_typing.Mode.Visibility.Const.t,
    Ocaml_typing.Mode.Staticity.Const.t)
    Ocaml_typing.Mode.Alloc.modes

val min : Ocaml_typing.Mode.Alloc.Const.t

val max : Ocaml_typing.Mode.Alloc.Const.t

val le : 
  Ocaml_typing.Mode.Alloc.Const.t ->
  Ocaml_typing.Mode.Alloc.Const.t ->
  bool

val equal : 
  Ocaml_typing.Mode.Alloc.Const.t ->
  Ocaml_typing.Mode.Alloc.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.Alloc.Const.t ->
  Ocaml_typing.Mode.Alloc.Const.t ->
  Ocaml_typing.Mode.Alloc.Const.t

val meet : 
  Ocaml_typing.Mode.Alloc.Const.t ->
  Ocaml_typing.Mode.Alloc.Const.t ->
  Ocaml_typing.Mode.Alloc.Const.t

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

val legacy : Ocaml_typing.Mode.Alloc.Const.t

module Option : sig ... end

val is_max : 'a Ocaml_typing.Mode.Alloc.Axis.t -> 'a -> bool

val is_min : 'a Ocaml_typing.Mode.Alloc.Axis.t -> 'a -> bool

val split : 
  Ocaml_typing.Mode.Alloc.Const.t ->
  (Ocaml_typing.Mode.Alloc.Monadic.Const.t,
    Ocaml_typing.Mode.Alloc.Comonadic.Const.t)
    Ocaml_typing.Mode.monadic_comonadic

val merge : 
  (Ocaml_typing.Mode.Alloc.Monadic.Const.t,
    Ocaml_typing.Mode.Alloc.Comonadic.Const.t)
    Ocaml_typing.Mode.monadic_comonadic ->
  Ocaml_typing.Mode.Alloc.Const.t

val diff : 
  Ocaml_typing.Mode.Alloc.Const.t ->
  Ocaml_typing.Mode.Alloc.Const.t ->
  Ocaml_typing.Mode.Alloc.Const.Option.t

diff a b returns None for axes where a and b match, and Some a0 for axes where a is a0 and b isn't.

val close_over : 
  Ocaml_typing.Mode.Alloc.Const.t ->
  Ocaml_typing.Mode.Alloc.Comonadic.Const.t

Similar to Alloc.close_over but for constants

val partial_apply : 
  Ocaml_typing.Mode.Alloc.Const.t ->
  Ocaml_typing.Mode.Alloc.Comonadic.Const.t

Similar to Alloc.partial_apply but for constants

val comonadic_to_monadic_min : 
  Ocaml_typing.Mode.Alloc.Comonadic.Const.t ->
  Ocaml_typing.Mode.Alloc.Monadic.Const.t

Similar to comonadic_to_monadic_min but for constants

val print_axis : 
  'a Ocaml_typing.Mode.Alloc.Axis.t ->
  Stdlib.Format.formatter ->
  'a ->
  unit

Prints a constant on any axis.

Module Alloc.Const

Module `Alloc.Const`