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