PriorityQueue.push

Adds |item| to the priority queue

struct PriorityQueue
void
push

Meta