let
rec
p_disj =
function
|
[]
->
PRED
.
Pfalse
|
[p]
->
p
|
p::ps
->
PRED
.p_or p (p_disj ps)