Re: [Python-Dev] Retrieve an arbitrary element from a setwithoutremoving it