let
pands l p =
List
.fold_right (
fun
p1 p2
->
pand (p1, p2)) l p