VersionMapPrivate.Mesa
Copyright Ó 1990, 1991 by Xerox Corporation. All rights reserved.
Last tweaked by Mike Spreitzer on August 7, 1990 12:58:08 pm PDT
DIRECTORY IO, PriorityQueue;
VersionMapPrivate:
CEDAR
DEFINITIONS = {
MapUnderConstruction: TYPE ~ REF MapUnderConstructionPrivate;
MapUnderConstructionPrivate:
TYPE ~
RECORD [
pq: PriorityQueue.Ref ¬ NIL];
}.