Module type MemVar.VarUsage

module type VarUsage = sig .. end

val datatype : string
val param : Cil_types.varinfo -> MemoryContext.param
val iter : ?kf:Cil_types.kernel_function ->
init:bool -> (Cil_types.varinfo -> unit) -> unit