Jesse Ruderman 3b5b29c7ec Reduce and clarify abuse of 'pure' in interner

2011-09-24 16:33:26 -07:00

..

interner.rs

Reduce and clarify abuse of 'pure' in interner

2011-09-24 16:33:26 -07:00