15.4.897  src/lib/src/id-set.pkg

# id-set.pkg

# Compiled by:
#     src/lib/std/standard.lib

                                        # id_key                is from   src/lib/src/id-key.pkg
                                        # red_black_set_g       is from   src/lib/src/red-black-set-g.pkg
package id_set
    =
    red_black_set_g( id_key );


## Original code by Jeff Prothero Copyright (c) 2014-2015,
## released per terms of SMLNJ-COPYRIGHT.