<> <> <> <> <<>> <> <<>> DIRECTORY Rope; SCParms: CEDAR DEFINITIONS ~ BEGIN <> ROPE: TYPE = Rope.ROPE; <> numBitsPerByte, numBytesPerWord, numWordsPerCycle, numCyclesPerLine, numMemLines, numIOLines, numFIFOLines: NAT; vPagePattern, vBlock0Pattern, vBlock1Pattern, vBlock2Pattern, vBlock3Pattern, vBlock4Pattern, vBlock5Pattern, rPagePattern, rBlock0Pattern, rBlock1Pattern, rBlock2Pattern, rBlock3Pattern, rBlock4Pattern, rBlock5Pattern: ROPE; <> numBitsPerWord, numBitsPerCycle, numBitsPerLine, numWordsPerLine, logNumWordsPerLine, logNumCyclesPerLine, numPageBits, numBlockBits, numDevIdBits, numBitsPerHeader: NAT; <> Set: PROC [NumBitsPerByte, NumBytesPerWord, NumCyclesPerLine, NumMemLines, NumIOLines, NumFIFOLines: NAT] RETURNS [NAT]; PagePatternHi: PROC [pagePattern: ROPE] RETURNS [ROPE]; PagePatternLo: PROC [pagePattern: ROPE] RETURNS [ROPE]; END.