let
pors l =
List
.fold_right (
fun
p1 p2
->
por (p1, p2)) l pfalse