<> <> <> <> DIRECTORY Basics; Heap: CEDAR DEFINITIONS = BEGIN Queue: TYPE = REF QueueRec; QueueRec: TYPE; Event: TYPE = REF ANY; CompareEvents: TYPE = PROC [e1, e2: Event] RETURNS[Basics.Comparison]; CreateQueue: PROC [compare: CompareEvents, conjectureSize: CARDINAL _ 64] RETURNS [Queue]; ChangeCompareProc: PROC [heap: Queue, compare: CompareEvents]; InsertEvent: PUBLIC PROC [heap: Queue, event: Event]; NextEvent: PROC [heap: Queue] RETURNS [event: Event]; PeekNextEvent: PROC [heap: Queue] RETURNS [event: Event]; Empty: PROC [heap: Queue] RETURNS [empty: BOOL _ FALSE]; END.