15.3.152  src/lib/compiler/back/low/regor/regor-priority-queue.api

#
# Interface of a fast (applicative) 
# version of priority queue just for the register allocator
# 
# -- Allen Leung

# Compiled by:
#     src/lib/compiler/back/low/lib/lowhalf.lib

api Regor_Priority_Queue {

    Element;  

    Priority_Queue
      = EMPTY
      | TREE  (Element, Int, Priority_Queue, Priority_Queue);

    add:    (Element, Priority_Queue)   -> Priority_Queue;
    merge:  (Priority_Queue, Priority_Queue) -> Priority_Queue;
};