let
rec
is_false =
function
|
Pfalse
->
true
|
Pnamed
(_,p)
->
is_false p
|
_
->
false