let
mem () = { mem =
M
.mem () ; vars =
Xmap
.empty ; formals =
Lmap
.empty}