<> <> <> DIRECTORY CacheModels USING [Cache]; DirectMapCache: CEDAR DEFINITIONS = BEGIN NewCache: PROC [lines: NAT _ 512, quadsPerLine: NAT _ 1, wordsPerQuad: NAT _ 4, realCache, mapCache: CacheModels.Cache _ NIL] RETURNS [cache: CacheModels.Cache]; <> END.