let
field loc f =
L0depl
(loc,
Pfield
f)