You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
PriorityQueue's documentation is not as helpful as it should be: it leaves it to the user to discover that only dequeue (but not iterator or drop or anything) dequeues in priority order. This should be made more explicit.
The text was updated successfully, but these errors were encountered:
PriorityQueue's documentation is not as helpful as it should be: it leaves it to the user to discover that only dequeue (but not iterator or drop or anything) dequeues in priority order. This should be made more explicit.
The text was updated successfully, but these errors were encountered: