∀ {cases : Lean.PArray Lean.Meta.Grind.Arith.Linear.Case} {decVars : Lean.FVarIdSet}
  {cases_1 : Lean.PArray Lean.Meta.Grind.Arith.Linear.Case} {decVars_1 : Lean.FVarIdSet},
  { cases := cases, decVars := decVars } = { cases := cases_1, decVars := decVars_1 } →
    cases = cases_1 ∧ decVars = decVars_1