let
tag t (akind,p) = (akind,{ p
with
property =
F
.p_named t p.property })