Module Jkind_axis.Axis

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

Represents an axis of a jkind

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