let
for_all =
PSet
.for_all