<> <> <> <> DIRECTORY YggEnvironment, YggLog; YggRestartFile: CEDAR DEFINITIONS = BEGIN RecordID: TYPE = YggLog.RecordID; ReadRestartRecord: PROC [] RETURNS [ recordIDForCheckpointCompleteRecord: RecordID]; WriteRestartRecord: PROC [ recordIDForCheckpointCompleteRecord: RecordID]; END.