//! Identifiers, namespaces, and their management.
pub mod codes;
pub mod index;