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