let
pointer_update p u =
Fol
.
Tapp
(
"update_pointer"
, [p;u])