<<>> <> <> <> DIRECTORY IO, PriorityQueue; VersionMapPrivate: CEDAR DEFINITIONS = { MapUnderConstruction: TYPE ~ REF MapUnderConstructionPrivate; MapUnderConstructionPrivate: TYPE ~ RECORD [ pq: PriorityQueue.Ref ¬ NIL]; }.