let
compare =
PSet
.compare