sig
module type VarUsage =
sig
val datatype : string
val param : Cil_types.varinfo -> Wp.MemoryContext.param
val hypotheses : unit -> Wp.MemoryContext.clause list
end
module Make : functor (V : VarUsage) (M : Sigs.Model) -> Sigs.Model
end