<> <> DIRECTORY IO, LichenDataStructure; LichenFiling: CEDAR DEFINITIONS = {OPEN LichenDataStructure; CacheStats: TYPE ~ RECORD [probes, misses: INT _ 0]; WriteDesign: PROC [fileName: ROPE, d: Design, pacify: IO.STREAM _ NIL] RETURNS [refcs, ropecs, slcs: CacheStats _ []]; ReadDesign: PROC [fileName: ROPE, pacify: IO.STREAM _ NIL] RETURNS [d: Design]; }.