∀ {visited : Lean.NameSet} {opaques : Array Lean.Name} {visited_1 : Lean.NameSet} {opaques_1 : Array Lean.Name},
  { visited := visited, opaques := opaques } = { visited := visited_1, opaques := opaques_1 } →
    visited = visited_1 ∧ opaques = opaques_1