Module type Wp.MemVar.VarUsage

module type VarUsage = sig .. end

val datatype : string
val param : Cil_types.varinfo -> Wp.MemVar.param
val separation : unit -> Wp.Separation.clause