sig
type param = NotUsed | ByValue | ByRef | InContext | InArray | InHeap
module type VarUsage =
sig
val datatype : string
val param : Cil_types.varinfo -> Wp.MemVar.param
val separation : unit -> Wp.Separation.clause
end
module Make : functor (V : VarUsage) (M : Memory.Model) -> Memory.Model
end