Module MemVar

module MemVar: sig .. end

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