Module Ocaml_typing.Jkind_axis
module type Axis_ops = sig ... endRe-export
module Externality : sig ... endThe jkind axis of Externality
module Nullability : sig ... endThe jkind axis of nullability
module Separability : sig ... endmodule Axis : sig ... endmodule Per_axis :
Ocaml_typing.Solver_intf.Lattices
with type 'a elt := 'a
and type 'a obj := 'a Ocaml_typing.Jkind_axis.Axis.tmodule Axis_set : sig ... end