let
shift_pointer :
D
.pointer
->
Formula
.integer
D
.
F
.term
->
D
.pointer =
D
.e_app2 (
"shift_pointer"
)