Allow for the customization of the underlying String type for free names
brendanzab opened this issue · 0 comments
brendanzab commented
Users might want to use a string interner for identifiers. We should be able to support this use case.
brendanzab opened this issue · 0 comments
Users might want to use a string interner for identifiers. We should be able to support this use case.