let
forall_mem m p =
Fol
.forall_pred
M
.prop_in_data ~fresh:
false
m p