let
rec
cut p =
function
Pnamed
(a,q)
->
Pnamed
(a,cut p q)
|
_
->
p