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