module type VarUsage = sig .. end
sig
end
val datatype : string
string
val param : Cil_types.varinfo -> Wp.MemoryContext.param
Cil_types.varinfo -> Wp.MemoryContext.param
val iter : ?kf:Cil_types.kernel_function -> init:bool -> (Cil_types.varinfo -> unit) -> unit
?kf:Cil_types.kernel_function -> init:bool -> (Cil_types.varinfo -> unit) -> unit