<<>> <> <> <> <> <> DIRECTORY Rope USING [ROPE]; TextReplace: CEDAR DEFINITIONS = BEGIN <<>> ROPE: TYPE = Rope.ROPE; <<>> RopeMap: TYPE = REF RopeMapRep; RopeMapRep: TYPE = RECORD [ Map: PROC [REF ANY, ROPE] RETURNS [ROPE], data: REF ANY ¬ NIL ]; <<>> Apply: PROC [s: RopeMap, r: ROPE] RETURNS [mapped: ROPE]; <<= {mapped _ s.Map[s.data, r]};>> <<>> id: RopeMap; addBrackets: RopeMap; <<>> Constant: PROC [result: ROPE] RETURNS [rm: RopeMap]; <<>> Cat: PROC [first, second: RopeMap] RETURNS [catted: RopeMap]; <