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