Ada Programming/Libraries/Ada.Containers.Unbounded Priority Queues

is a unit of the Predefined Language Environment since Ada 2012.

Specification
Queue_Interfaces  AdaContainersSynchronized_Queue_Interfaces Queue_Priority Get_Priority Element Queue_InterfacesElement_Type  Queue_Priority Before Left Right Queue_Priority  Boolean Default_Ceiling SystemAny_Priority  SystemPriority PreelaborateUnbounded_Priority_Queues Implementation Implementation Queue Ceiling SystemAny_Priority  Default_Ceiling Priority Ceiling Queue_InterfacesQueue Enqueue New_Item  Queue_InterfacesElement_Type Dequeue Element  Queue_InterfacesElement_Type Dequeue_Only_High_Priority At_Least      Queue_Priority Element    Queue_InterfacesElement_Type Success      Boolean Current_Use Count_Type Peak_Use Count_Type Queue AdaContainersUnbounded_Priority_Queues

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Libraries/Ada.Containers