functor
(
V
:
VarUsage
) (
M
:
Memory
.
Model
)
->
Memory
.
Model