Module Modes_lib.Jkind_axis

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