let
rec
is_true =
function
|
Ptrue
->
true
|
Pnamed
(_,p)
->
is_true p
|
_
->
false