ADT.Priority_queue

ADT.Priority_queue()->pop()

Method ADT.Priority_queue()->adjust_pri()

Method adjust_pri

void ADT.Priority_queue()->adjust_pri(mixed handle, int new_pri)

FIXME

Document this function