Axis.Nonmodal
type 'a t =
| Externality : Ocaml_typing.Jkind_axis.Externality.t Ocaml_typing.Jkind_axis.Axis.Nonmodal.t
| Nullability : Ocaml_typing.Jkind_axis.Nullability.t Ocaml_typing.Jkind_axis.Axis.Nonmodal.t
| Separability : Ocaml_typing.Jkind_axis.Separability.t Ocaml_typing.Jkind_axis.Axis.Nonmodal.t