jon.recoil.org

Module Modes_lib.NonmodalsSource

Sourcetype t = {
  1. externality : Modes_lib__.Modes_lib_intf.Definitions.externality;
  2. nullability : Modes_lib__.Modes_lib_intf.Definitions.nullability;
  3. separability : Modes_lib__.Modes_lib_intf.Definitions.separability;
}
Sourceval sexp_of_t : t -> Sexplib0.Sexp.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_nonmodals : Nonmodal.t list -> t

When omitted, axis is filled in with default value on that jkind axis.

Sourceval to_nonmodals : t -> Nonmodal.t list
Sourceval to_nonmodals_explicit : t -> Nonmodal.t list
Sourcetype make_f = {
  1. f : 'a. 'a nonmodal_axis -> 'a;
}
Sourceval make : make_f -> t
Sourceval get : t -> 'a nonmodal_axis -> 'a
Sourceval set : t -> 'a nonmodal_axis -> 'a -> t