Module type ArrayDomain.Null

type t
type retnull =
  1. | Null
  2. | NotNull
  3. | Maybe
val null : unit -> t
val is_null : t -> retnull
val get_ikind : t -> GoblintCil.Cil.ikind option
val zero_of_ikind : GoblintCil.Cil.ikind -> t
val not_zero_of_ikind : GoblintCil.Cil.ikind -> t