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