Module Cvalues.NULL

module NULL: STRUCTURAL(sig
val prefix : string
val model : Cint.model
val is_int : 'a -> Lang.F.term -> Lang.F.pred
val is_float : 'a -> Lang.F.term -> Lang.F.pred
val is_pointer : Lang.F.term -> Lang.F.pred
end)

val constrained_elt : Cil_types.typ -> bool
val constrained_comp : Cil_types.compinfo -> bool
val model_int : Format.formatter -> Ctypes.c_int -> unit
val array_name : Ctypes.c_object -> 'a list -> string
val is_obj : Ctypes.c_object -> Lang.F.term -> Lang.F.pred
val is_typ : Cil_types.typ -> Lang.F.term -> Lang.F.pred
val is_record : Cil_types.compinfo -> Lang.F.term -> Lang.F.pred
val is_array : Ctypes.c_object -> Matrix.dim list -> Lang.F.term -> Lang.F.pred