Module interner

Interning data structure and associated symbol definitions.

The interner is used by the registry in order to deduplicate strings and type definitions. Strings are uniquely identified by their contents while types are uniquely identified by their respective type identifiers.

The interners provide a strict ordered sequence of cached (interned) elements and is later used for space-efficient serialization within the registry.

Structs

• Interner
  Interning data structure generic over the element type.
• Symbol
  A symbol from an interner.
• UntrackedSymbol
  A symbol that is not lifetime tracked.