Module Jkind.Scannable_axes
type t = Jkind_types.Scannable_axes.tval to_string_list : t -> string listOmits all axes that are max, for printing
Jkind.Scannable_axestype t = Jkind_types.Scannable_axes.tval to_string_list : t -> string listOmits all axes that are max, for printing