<> <> <> <<>> <> <> <> <> <<>> DIRECTORY SafeStorage USING[Type]; RecursivelyNIL: DEFINITIONS = BEGIN CheckProc: TYPE = PROC [objectREF: REF ANY, objectREFType: SafeStorage.Type, referredREF: REF ANY, referredREFType: SafeStorage.Type] RETURNS [OKToNIL: BOOL _ TRUE]; NILRef: PROC[root: REF ANY, checkProc: CheckProc _ NIL]; END.