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