let
pset_map f s = pset_of_lst (
List
.map f (
PSet
.elements s))