Module `Crossing.Monadic`

module Atom : sig ... end

type t

The mode crossing capability on the whole monadic fragment.

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

val min : Mode.Crossing.Monadic.t

val max : Mode.Crossing.Monadic.t

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

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

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

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

val create : 
  uniqueness:Mode.Uniqueness.Const.t Mode.Crossing.Monadic.Atom.t ->
  contention:Mode.Contention.Const.t Mode.Crossing.Monadic.Atom.t ->
  visibility:Mode.Visibility.Const.t Mode.Crossing.Monadic.Atom.t ->
  staticity:Mode.Staticity.Const.t Mode.Crossing.Monadic.Atom.t ->
  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`