<> <> DIRECTORY Collections; HashCollectionsPrivate: CEDAR DEFINITIONS = {OPEN Collections; HashColl: TYPE ~ REF HashCollPrivate; HashCollPrivate: TYPE ~ MONITORED RECORD [ space: Space, size, sizeLimit, inhibitCount, freezeCount: LNAT _ 0, elts: REF Seq ]; SeqIndex: TYPE = NAT; Seq: TYPE = RECORD [nodes: SEQUENCE max: SeqIndex OF LOV]; classes: READONLY ARRAY Mutability OF CollectionClass; }.