jon.recoil.org

Module Modes_lib.StatefulnessSource

Sourceval top : t
Sourceval bottom : t
Sourceval join : t -> t -> t
Sourceval meet : t -> t -> t
Sourceval le : t -> t -> bool
Sourceval equal : t -> t -> bool
Sourceval all : t list
Sourceval monadicity : Modes_lib__.Modes_lib_intf.Definitions.monadicity
Sourceval legacy : t
Sourceval of_modal : Modes_lib__.Modes_lib_intf.Definitions.Modal.t -> t option
Sourceval to_modal : t -> Modes_lib__.Modes_lib_intf.Definitions.Modal.t
Sourceval compare : t -> t -> int

Implementations of Axis must provide a total order over its elements. compare should agree naturally with le and equal.

Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourceval apply_modality : t Modality.t -> t Mode.t -> t Mode.t
Sourceval cross : t Crossing.t -> t Mode.t -> t Mode.t

cross crossing mode strengthens mode as it would on a variable of kind _ mod crossing.

In the compiler, this is known as cross_left.

Sourceval uncross : t Crossing.t -> t Mode.t -> t Mode.t

uncross crossing mode is the weakest mode mode' such that cross crossing mode' is at least as strong as mode. It acts as a sort of inverse to cross.

In the compiler, this is known as cross_right.