<> <> <> <> <> <> <> DIRECTORY YggInternal USING[Document, FileHandle], YggEnvironment USING [DID], Rope USING[ROPE]; YggDIDMapPrivate: CEDAR DEFINITIONS = BEGIN Document: TYPE = YggInternal.Document; DocumentRep: TYPE = MONITORED RECORD[ did: YggEnvironment.DID, name: Rope.ROPE, -- human-legible name. componentFiles: LIST OF YggInternal.FileHandle, interlock: BOOLEAN, recoveryData: REF, -- used during recovery next: Document]; END. <<>>