Module `Jkind_axis.Axis`

module Nonmodal : sig ... end

type 'a t =

| Modal : 'a Ocaml_typing.Mode.Crossing.Axis.t -> 'a Ocaml_typing.Jkind_axis.Axis.t
| Nonmodal : 'a Ocaml_typing.Jkind_axis.Axis.Nonmodal.t -> 'a Ocaml_typing.Jkind_axis.Axis.t

Represents an axis of a jkind

type packed =

| Pack : 'a Ocaml_typing.Jkind_axis.Axis.t -> Ocaml_typing.Jkind_axis.Axis.packed

val all : Ocaml_typing.Jkind_axis.Axis.packed list

val name : _ Ocaml_typing.Jkind_axis.Axis.t -> string