MemVar.Static
VarUsage that uses only Cil-Static infos.
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