Module Axis.Nonmodal

type 'a t =
  1. | Externality : Externality.t t
  2. | Nullability : Nullability.t t
  3. | Separability : Separability.t t