let
mk_field_shift e f =
Fol
.
Tdata
(
E0depl
(e,
WpFol
.
Pfield
f))