Module `Crossing.Monadic`Source

Sourcemodule Atom : sig ... end

Sourcetype t

The mode crossing capability on the whole monadic fragment.

include Mode_intf.Lattice with type t := t

Sourceval min : t

Sourceval max : t

Sourceval le : t -> t -> bool

Sourceval equal : t -> t -> bool

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

Sourceval join : t -> t -> t

Sourceval meet : t -> t -> t

Sourceval print : Ocaml_typing.Mode_intf.Fmt.formatter -> t -> unit

Source

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

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

Module Crossing.MonadicSource

Module `Crossing.Monadic`Source