let
shift_pointer p i =
Fol
.
Tapp
(
"shift_pointer"
, [p; i])