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