let
mk_index_shift p _t i =
Fol
.
Tdata
(
E2depl
(p,
WpFol
.
Pidx
i))