let
rec
redef p p' =
match
p
with
Pnamed
(a,p0)
->
Pnamed
(a,redef p0 p')
|
_
->
p'