The standard library id_key package implements keys of type Id.
The id_key package source code is in src/lib/src/id-key.pkg.
See also: id_map.See also: id_set.
The above information is manually maintained and may contain errors.
api {
compare : (Id , Id) -> Order;
Key = Id;};