let
iter s f =
PSet
.iter f s