∀ (mvarId : Lean.MVarId) (vars : List Lean.Expr) (alts : List Lean.Meta.Match.Alt)
  (examples : List Lean.Meta.Match.Example) (mvarId_1 : Lean.MVarId) (vars_1 : List Lean.Expr)
  (alts_1 : List Lean.Meta.Match.Alt) (examples_1 : List Lean.Meta.Match.Example),
  ({ mvarId := mvarId, vars := vars, alts := alts, examples := examples } =
      { mvarId := mvarId_1, vars := vars_1, alts := alts_1, examples := examples_1 }) =
    (mvarId = mvarId_1 ∧ vars = vars_1 ∧ alts = alts_1 ∧ examples = examples_1)