<> <> <> <<>> <> <<>> DIRECTORY SafeStorage USING [Type], IO USING [STREAM]; RefPrint: CEDAR DEFINITIONS ~ BEGIN PrintRefProc: TYPE ~ PROC[stream: IO.STREAM, ref: REF] RETURNS [ok: BOOL ¬ TRUE]; Register: PROC [printer: PrintRefProc, type: SafeStorage.Type]; <> RegisterFallback: PROC [printer: PrintRefProc]; <> UnRegister: PROC [printer: PrintRefProc]; <> PrintReferent: PrintRefProc; PrintREF: PrintRefProc; -- Checks for NIL, also prints ­ before any value END.