Refactor|StringPool: A pointer can be stored for each interned string
User pointers can be used for constructing larger data structureswhere case insensitive strings are used as keys.
View differences
Refactor|StringPool: A pointer can be stored for each interned string
User pointers can be used for constructing larger data structures
where case insensitive strings are used as keys.