LichenFiling.Mesa
Last tweaked by Mike Spreitzer on November 29, 1988 7:37:27 pm PST
DIRECTORY IO, LichenDataStructure;
LichenFiling: CEDAR DEFINITIONS = {OPEN LichenDataStructure;
CacheStats: TYPE ~ RECORD [probes, misses: INT ← 0];
WriteDesign: PROC [fileName: ROPE, d: Design, pacify: IO.STREAMNIL] RETURNS [refcs, ropecs, slcs: CacheStats ← []];
ReadDesign: PROC [fileName: ROPE, pacify: IO.STREAMNIL] RETURNS [d: Design];
}.