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