Frama-C API - RefUsage
val get : ?kf:Frama_c_kernel.Cil_types.kernel_function -> ?init:bool -> Frama_c_kernel.Cil_types.varinfo -> access
val iter : ?kf:Frama_c_kernel.Cil_types.kernel_function -> ?init:bool -> (Frama_c_kernel.Cil_types.varinfo -> access -> unit) -> unit
val is_nullable : Frama_c_kernel.Cil_types.varinfo -> bool
is_nullable vi
returns true iff vi
is a formal and has an attribute 'nullable'
has_nullable ()
return true iff there exists a variable that satisfies is_nullable
val print : Frama_c_kernel.Cil_types.varinfo -> access -> Stdlib.Format.formatter -> unit