Module `Jkind_axis.Nullability`

The jkind axis of nullability

type t =

include Jkind_axis.Axis_ops with type t := Jkind_axis.Nullability.t

include Mode_intf.Lattice with type t := Jkind_axis.Nullability.t

val min : Jkind_axis.Nullability.t

val max : Jkind_axis.Nullability.t

val le : Jkind_axis.Nullability.t -> Jkind_axis.Nullability.t -> bool

val join : 
  Jkind_axis.Nullability.t ->
  Jkind_axis.Nullability.t ->
  Jkind_axis.Nullability.t

val meet : 
  Jkind_axis.Nullability.t ->
  Jkind_axis.Nullability.t ->
  Jkind_axis.Nullability.t

val print : Stdlib.Format.formatter -> Jkind_axis.Nullability.t -> unit

val less_or_equal : 
  Jkind_axis.Nullability.t ->
  Jkind_axis.Nullability.t ->
  Misc.Le_result.t

val equal : Jkind_axis.Nullability.t -> Jkind_axis.Nullability.t -> bool

Module Jkind_axis.Nullability