<> <> <> <> <<>> DIRECTORY Atom USING [PropList]; <<>> ImmutablePropList: CEDAR DEFINITIONS ~ BEGIN PropList: TYPE ~ Atom.PropList; 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]; <> <<>> END.