let iter s f = PSet.iter f s