Module Jkind_axis.Nullability
The jkind axis of nullability
include Ocaml_typing.Jkind_axis.Axis_ops
with type t := Ocaml_typing.Jkind_axis.Nullability.t
include Ocaml_typing.Mode_intf.Lattice
with type t := Ocaml_typing.Jkind_axis.Nullability.t
val min : Ocaml_typing.Jkind_axis.Nullability.tval max : Ocaml_typing.Jkind_axis.Nullability.tval le :
Ocaml_typing.Jkind_axis.Nullability.t ->
Ocaml_typing.Jkind_axis.Nullability.t ->
boolval print :
Stdlib.Format.formatter ->
Ocaml_typing.Jkind_axis.Nullability.t ->
unitval less_or_equal :
Ocaml_typing.Jkind_axis.Nullability.t ->
Ocaml_typing.Jkind_axis.Nullability.t ->
Ocaml_utils.Misc_stdlib.Le_result.tval equal :
Ocaml_typing.Jkind_axis.Nullability.t ->
Ocaml_typing.Jkind_axis.Nullability.t ->
bool