let
mk_index_access e _t i =
Fol
.
Tdata
(
E1proj
(e,
WpFol
.
Pidx
i))