Module ids

Identifiers, namespaces, and their management.

Modules

• codes
  Book codes and their number spaces.
• index
  Data structure for mapping string keys to numeric identifiers.