let
mk_field_shift ps f =
Fol
.
Tdata
(
E2depl
(ps,
WpFol
.
Pfield
f))