pub fn eq_arm(l: &Arm, r: &Arm) -> bool