module MemVar: sig .. end
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
functor (
V
:
VarUsage
) ->
M
Memory.Model