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