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