Module `Ocaml_typing.Jkind_axis`Source

Sourcemodule type Axis_ops = sig ... end

Re-export

Sourcemodule Externality : sig ... end

The jkind axis of Externality

Sourcemodule Nullability : sig ... end

The jkind axis of nullability

Sourcemodule Separability : sig ... end

Sourcemodule Axis : sig ... end

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

Sourcemodule Axis_set : sig ... end

Module Ocaml_typing.Jkind_axisSource