<> <> DIRECTORY SafeStorage; TypeProps: CEDAR DEFINITIONS = BEGIN Type: TYPE = SafeStorage.Type; Put: PROC [type: Type, key: REF ANY, val: REF ANY]; Get: PROC [type: Type, key: REF ANY] RETURNS [val: REF ANY]; END.