jon.recoil.org

Module Modes_lib.Nonmodal_axisSource

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