Modes_lib.Jkind_axis
type 'a t = 'a jkind_axis
type packed =
| P : 'a t -> packed
val all : packed list