Module Jkind_axis.Nullability

The jkind axis of nullability

type t =
  1. | Non_null
  2. | Maybe_null
include Axis_ops with type t := t
include Mode_intf.Lattice with type t := t
val min : t
val max : t
val le : t -> t -> bool
val join : t -> t -> t
val meet : t -> t -> t
val print : Format.formatter -> t -> unit
val less_or_equal : t -> t -> Ocaml_utils.Misc_stdlib.Le_result.t
val equal : t -> t -> bool