let
userdef_closure mem =
function
|
Mem
_
->
F
.wrap mem.store
|
Alloc
_
->
F
.wrap mem.talloc