15.4.896  src/lib/src/id-map.pkg

# id-map.pkg
#

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

                                                        # red_black_map_g               is from   src/lib/src/red-black-map-g.pkg
                                                        # id_key                        is from   src/lib/src/id-key.pkg
package id_map
    =
    red_black_map_g( id_key );


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