pub type RewriteMap<T> = HashMap<Id, RRC<T>>;
A rewrite map from ir::Id to [T].
struct RewriteMap<T> { /* private fields */ }