<<>> <> <> <> DIRECTORY RefTab USING [EqualProc, Key, HashProc, Val]; RefTabPrivate: CEDAR DEFINITIONS ~ BEGIN OPEN RefTab; RefTabImplRep: PUBLIC TYPE = RECORD [ hash: HashProc, equal: EqualProc, size, sizeLimit, inhibitCount: INT, data: REF Seq ]; SeqIndex: TYPE = NAT; Seq: TYPE = RECORD [nodes: SEQUENCE max: SeqIndex OF Node]; Node: TYPE = REF NodeRep; NodeRep: TYPE = RECORD [key: Key, val: Val, next: Node]; END.