jon.recoil.org

Module Modes_lib.Jkind_modifiersSource

Sourcetype 'a wrapper =
  1. | Modal : 'a Crossing.t * 'a Axis.t -> 'a wrapper
  2. | Nonmodal : 'a * 'a Nonmodal_axis.t -> 'a wrapper
Sourcetype t = {
  1. modals : Crossings.t;
  2. nonmodals : Nonmodals.t;
}
Sourcetype make_f = {
  1. f : 'a. 'a jkind_axis -> 'a wrapper;
}
Sourceval of_jkind_mods : Jkind_mod.t list -> t

When omitted, axis is filled in with default value for that modifier.

Sourceval to_jkind_mods : t -> Jkind_mod.t list
Sourceval to_jkind_mods_explicit : t -> Jkind_mod.t list
Sourceval make : make_f -> t
Sourceval get : t -> 'a jkind_axis -> 'a
Sourceval set : t -> 'a wrapper -> t