jon.recoil.org

Module Modes_lib.CrossingsSource

include Per_axis with type 'a wrapped := 'a Crossing.t
Sourcetype t = {
  1. locality : Modes_lib__.Modes_lib_intf.Definitions.locality Crossing.t;
  2. portability : Modes_lib__.Modes_lib_intf.Definitions.portability Crossing.t;
  3. contention : Modes_lib__.Modes_lib_intf.Definitions.contention Crossing.t;
  4. statefulness : Modes_lib__.Modes_lib_intf.Definitions.statefulness Crossing.t;
  5. visibility : Modes_lib__.Modes_lib_intf.Definitions.visibility Crossing.t;
  6. linearity : Modes_lib__.Modes_lib_intf.Definitions.linearity Crossing.t;
  7. uniqueness : Modes_lib__.Modes_lib_intf.Definitions.uniqueness Crossing.t;
  8. yielding : Modes_lib__.Modes_lib_intf.Definitions.yielding Crossing.t;
  9. forkable : Modes_lib__.Modes_lib_intf.Definitions.forkable Crossing.t;
  10. staticity : Modes_lib__.Modes_lib_intf.Definitions.staticity Crossing.t;
}
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
Sourcetype make_f = {
  1. f : 'a. 'a Modes_lib__.Modes_lib_intf.Definitions.axis -> 'a Crossing.t;
}
Sourceval make : make_f -> t
Sourceval get : t -> 'a Modes_lib__.Modes_lib_intf.Definitions.axis -> 'a Crossing.t
Sourceval set : t -> 'a Modes_lib__.Modes_lib_intf.Definitions.axis -> 'a Crossing.t -> t
include Lattice with type t := t
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 of_modals : Modal.t list -> t

When omitted, axis is filled in with default or implied crossing.

Sourceval to_modals : t -> Modal.t list
Sourceval to_modals_explicit : t -> Modal.t list