Module Modes_lib.Jkind_modifiers

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

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

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