<> <> <> DIRECTORY BasicTime USING[GMT, nullGMT], YggDIDMap USING[Run], YggFile USING[FileHandle]; YggBuffManPrivate: CEDAR DEFINITIONS = BEGIN Chunk: TYPE = RECORD [ useCount: NAT _ 0, lastTouchTime: BasicTime.GMT _ BasicTime.nullGMT, file: YggFile.FileHandle _ NIL, -- informative only run: YggDIDMap.Run, startAddress: LONG POINTER _ NIL, lruListPrev: REF Chunk _ NIL, lruListNext: REF Chunk _ NIL, valid: BOOL _ FALSE ]; END.