∀ (ex : Lean.Exception) (patternIdx : ℕ) (pathToIndex : List ℕ) (ex_1 : Lean.Exception) (patternIdx_1 : ℕ)
  (pathToIndex_1 : List ℕ),
  ({ ex := ex, patternIdx := patternIdx, pathToIndex := pathToIndex } =
      { ex := ex_1, patternIdx := patternIdx_1, pathToIndex := pathToIndex_1 }) =
    (ex = ex_1 ∧ patternIdx = patternIdx_1 ∧ pathToIndex = pathToIndex_1)