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