let
mem_update m p v =
Fol
.
Tapp
(
"upd"
, [m; p; v])