Изменения

'''pair (int, bpq)''' extractMin('''pair'''(x : '''int''', q : '''bpq''')):

((y,r), t) = extractMin(q)

</code>

Здесь <math>\mathrm{extractMin}</math>{{---}} это функция, извлекающая минимальный элемент типа BPQ из приоритетной очереди, она возвращает <tex>(y,r)</tex> {{---}} минимальный элемент типа BPQ и остаток от приоритетной очереди после извлечение минимума {{---}} <tex>t</tex>. <math>\mathrm{merge}</math> функция, выполняющая слияние двух приоритетных очередей.