TypeProps.Mesa
last edited by Spreitzer at December 12, 1983 8:09 pm
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.