∀ {ref : Lean.Syntax} {a : List Lean.Elab.Tactic.RCases.RCasesPatt} {ref_1 : Lean.Syntax}
  {a_1 : List Lean.Elab.Tactic.RCases.RCasesPatt},
  Lean.Elab.Tactic.RCases.RCasesPatt.tuple ref a = Lean.Elab.Tactic.RCases.RCasesPatt.tuple ref_1 a_1 →
    ref = ref_1 ∧ a = a_1