Module Modes_lib.Nonmodal_axis

type 'a t = 'a nonmodal_axis
type packed =
  1. | P : 'a t -> packed
val all : packed list
val module_ : 'a t -> (module Nonmodal_axis with type t = 'a)