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