The standard library heap_priority_queue package implements priority queues.
The heap_priority_queue package implements the Priority_Queue API.
The heap_priority_queue package source code is in src/lib/src/heap-priority-queue.pkg.
See also: leftist_tree_priority_queue.
See also: queue.
The above information is manually maintained and may contain errors.
Priority_Queue