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