let
p_named label p =
PRED
.
Pnamed
(label,p)