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