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.