let
p_forall xs p =
List
.fold_right
Fol
.p_forall xs p