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
Memory Model Hypotheses
val hypotheses : unit -> Wp.MemoryContext.clause list
unit -> Wp.MemoryContext.clause list