Module global 

Convenience functions for managing type-indexed interner pools

Structs

HashInternerPool

A lazy map from type to hash-based interner

OrdInternerPool

A lazy map from type to ord-based interner

Functions

hash_interner

Obtain an interner for the given type, create it if necessary.

ord_interner

Obtain an interner for the given type, create it if necessary.