jon.recoil.org

Module Jkind_axis.AxisSource

Sourcemodule Nonmodal : sig ... end
Sourcetype 'a t =
  1. | Modal : 'a Mode.Crossing.Axis.t -> 'a t
  2. | Nonmodal : 'a Nonmodal.t -> 'a t

Represents an axis of a jkind

Sourcetype packed =
  1. | Pack : 'a t -> packed
Sourceval all : packed list
Sourceval name : _ t -> string