Card2TabPrivate.mesa
Copyright Ó 1990, 1992 by Xerox Corporation. All rights reserved.
Russ Atkinson (RRA) July 10, 1990 8:57 am PDT
Last tweaked by Mike Spreitzer on July 13, 1990 7:58:05 am PDT
DIRECTORY Card2Tab;
Card2TabPrivate:
CEDAR
DEFINITIONS
~ BEGIN OPEN Card2Tab;
Card2TabImplRep:
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];