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