pub fn eq_id(l: Ident, r: Ident) -> bool