∀ (ref : Lean.Syntax) (a : Lean.Elab.Tactic.RCases.RCasesPatt) (ref_1 : Lean.Syntax)
  (a_1 : Lean.Elab.Tactic.RCases.RCasesPatt),
  (Lean.Elab.Tactic.RCases.RCasesPatt.explicit ref a = Lean.Elab.Tactic.RCases.RCasesPatt.explicit ref_1 a_1) =
    (ref = ref_1 ∧ a = a_1)