let
rec
cut pnew =
function
Pnamed
(label,p)
->
Pnamed
(label,cut pnew p)
|
_
->
pnew