A ds_priority queue is a special data structure similar to a
here the queue of values is ordered by the priorities (always real
numbers) that the values have been assigned. This structure can be
very useful for constructing leaderboards or information lists
where the importance of each entry can be weighted.
The following functions exist that deal with ds_priority queues: