<<>> <> <> <> <> Properties: 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]; <> <> EachProp: TYPE = PROC [key, val: REF] RETURNS [quit: BOOL¬FALSE]; Enumerate: PROC [propList: PropList, proc: EachProp] RETURNS [quit: BOOL]; <> <> CopyList: PROC [propList: PropList] RETURNS [PropList]; <> END.