let
print_set fmt pr sep l = print_list fmt pr sep (
PSet
.elements l)