{P : Sort u} →
  {visited : Lean.PtrSet Lean.Expr} →
    {visitedConsts : Lean.NameHashSet} →
      {visited' : Lean.PtrSet Lean.Expr} →
        {visitedConsts' : Lean.NameHashSet} →
          { visited := visited, visitedConsts := visitedConsts } =
              { visited := visited', visitedConsts := visitedConsts' } →
            (visited = visited' → visitedConsts = visitedConsts' → P) → P