let
mk_index_shift e _t i =
Fol
.
Tdata
(
E0depl
(e,
WpFol
.
Pidx
i))