Module Ocaml_typing.Jkind_axis

module type Axis_ops = sig ... end

Re-export

module Externality : sig ... end

The jkind axis of Externality

module Nullability : sig ... end

The jkind axis of nullability

module Separability : sig ... end
module Axis : sig ... end
module Per_axis : Solver_intf.Lattices with type 'a elt := 'a and type 'a obj := 'a Axis.t
module Axis_set : sig ... end