MemVar.Raw
VarUsage naive instance. It reports a by-value access for all variables.
val param : Frama_c_kernel.Cil_types.varinfo -> MemoryContext.param
val iter :
?kf:Frama_c_kernel.Cil_types.kernel_function ->
init:bool ->
( Frama_c_kernel.Cil_types.varinfo -> unit ) ->
unit