∀ (visited : Lean.NameSet) (result : Array Lean.LocalDecl) (visited_1 : Lean.NameSet) (result_1 : Array Lean.LocalDecl),
  ({ visited := visited, result := result } = { visited := visited_1, result := result_1 }) =
    (visited = visited_1 ∧ result = result_1)