let
rec
def =
function
Pnamed
(_,p)
->
def p
|
p
->
p