The doc of set().pop() should say *the 1st element* instead of *an arbitrary element*
#9136
| Job | Run time |
|---|---|
| 3s | |
| 3s |
set().pop() should say *the 1st element* instead of *an arbitrary element*
#9136
| Job | Run time |
|---|---|
| 3s | |
| 3s |