let
nset_add set n =
IntMap
.add (get_id n) n set