let
mk_shift_pointer e _t i =
Fol
.
Tdata
(
E1shift
(e, i))