8.1 Identifiers
Identifiers may be prefixed with namespaces using the
scope (::) operator, e.g. ‘zoo::aquatic::fish’.
Any identifier that begins with :: is an absolute identifier,
one whose namespace path is specified from the global namespace.
Identifiers fall into one of several categories:
- unqualified, in which the parent namespace is implicit
- qualified-relative, where an identifier is prefixed with a
partial namespace path (e.g. ‘dinner::food::salad’)
- qualified-absolute, where the full path to a given entity is
specified in the identifier's prefix.
(e.g. ‘::plane’ or ‘::farm::horse’)