Module type MemVar.VarUsage

module type VarUsage = sig .. end

val datatype : string
val param : Cil_types.varinfo -> MemoryContext.param

Memory Model Hypotheses

val hypotheses : unit -> MemoryContext.clause list