Module MemVar

module MemVar: sig .. end

type param = 
| NotUsed
| ByValue
| ByRef
| InContext
| InArray
| InHeap
module type VarUsage = sig .. end
module Make: 
functor (V : VarUsage) ->
functor (M : Memory.Model) -> Memory.Model