Extracted from Pike v8.0 release 276 as of 2016-07-29.
[Top]
ADT
ADT.Priority_queue
Index of class ADT.Priority_queue
adjust_pri()
peek()
pop()
push()