<<>> <> <> <> <> RProperties: CEDAR DEFINITIONS = BEGIN <<>> <> <> <<>> PropList: TYPE = LIST OF KeyVal; KeyVal: TYPE = RECORD [key, val: REF]; <<>> GetProp: PROC [propList: PropList, prop: REF] RETURNS [REF]; <> <> PutProp: PROC [propList: PropList, prop: REF, val: REF ¬ NIL] RETURNS [PropList]; <> <> CopyList: PROC [propList: PropList] RETURNS [PropList]; <> <> END.