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