let
rec
collect_or ps =
function
|
Fol
.
Por
(a,b)
->
collect_or (collect_or ps b) a
|
p
->
p :: ps