let
index_shift pt i =
Fol
.
Tapp
(
"shift_index"
, [pt; i])