The standard library id_map package implements maps with keys of type Id.
The id_map package source code is in src/lib/src/id-map.pkg.
See also: id_key.See also: id_set.
The above information is manually maintained and may contain errors.
Map?
