Module `Crossing.Monadic`

module Atom : sig ... end

type t

The mode crossing capability on the whole monadic fragment.

include Ocaml_typing.Mode_intf.Lattice
  with type t := Ocaml_typing.Mode.Crossing.Monadic.t

val min : Ocaml_typing.Mode.Crossing.Monadic.t

val max : Ocaml_typing.Mode.Crossing.Monadic.t

val le : 
  Ocaml_typing.Mode.Crossing.Monadic.t ->
  Ocaml_typing.Mode.Crossing.Monadic.t ->
  bool

val equal : 
  Ocaml_typing.Mode.Crossing.Monadic.t ->
  Ocaml_typing.Mode.Crossing.Monadic.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.Crossing.Monadic.t ->
  Ocaml_typing.Mode.Crossing.Monadic.t ->
  Ocaml_typing.Mode.Crossing.Monadic.t

val meet : 
  Ocaml_typing.Mode.Crossing.Monadic.t ->
  Ocaml_typing.Mode.Crossing.Monadic.t ->
  Ocaml_typing.Mode.Crossing.Monadic.t

val print : 
  Stdlib.Format.formatter ->
  Ocaml_typing.Mode.Crossing.Monadic.t ->
  unit

val create : 
  uniqueness:
    Ocaml_typing.Mode.Uniqueness.Const.t
      Ocaml_typing.Mode.Crossing.Monadic.Atom.t ->
  contention:
    Ocaml_typing.Mode.Contention.Const.t
      Ocaml_typing.Mode.Crossing.Monadic.Atom.t ->
  visibility:
    Ocaml_typing.Mode.Visibility.Const.t
      Ocaml_typing.Mode.Crossing.Monadic.Atom.t ->
  staticity:
    Ocaml_typing.Mode.Staticity.Const.t
      Ocaml_typing.Mode.Crossing.Monadic.Atom.t ->
  Ocaml_typing.Mode.Crossing.Monadic.t

Create a mode crossing on the monadic fragment from the collection of mode crossings on each monadic axes.

Module Crossing.Monadic

Module `Crossing.Monadic`