pub fn eq_pat(l: &Pat, r: &Pat) -> bool