<> <> <> <<>> DIRECTORY Heap USING [CompareEvents, Event]; HeapPrivate: CEDAR DEFINITIONS = BEGIN OPEN Heap; Queue: TYPE = REF QueueRec; QueueRec: PUBLIC TYPE = RECORD[ compare: CompareEvents, size: CARDINAL _ 0, array: REF QueueBody]; QueueBody: TYPE = RECORD [ data: SEQUENCE max: NAT OF Event]; END.