jon.recoil.org

Module Jkind_axis.Axis

module Nonmodal : sig ... end
type 'a t =
  1. | Modal : 'a Mode.Crossing.Axis.t -> 'a Jkind_axis.Axis.t
  2. | Nonmodal : 'a Jkind_axis.Axis.Nonmodal.t -> 'a Jkind_axis.Axis.t

Represents an axis of a jkind

type packed =
  1. | Pack : 'a Jkind_axis.Axis.t -> Jkind_axis.Axis.packed
val all : Jkind_axis.Axis.packed list
val name : _ Jkind_axis.Axis.t -> string