<<>> <> <> <> <> <> <<>> Prop: CEDAR DEFINITIONS ~ BEGIN PropList: TYPE ~ LIST OF Pair; Pair: TYPE ~ RECORD [key: REF, val: REF]; Put: PROC [propList: PropList, key: REF, val: REF] RETURNS [PropList]; <> <<>> Get: PROC [propList: PropList, key: REF] RETURNS [val: REF]; <> Rem: PROC [propList: PropList, key: REF] RETURNS [PropList]; <> <<>> MapAction: TYPE ~ PROC [key: REF, val: REF] RETURNS [quit: BOOL ¬ FALSE]; Map: PROC [propList: PropList, action: MapAction] RETURNS [BOOL]; <> <<>> END.