<<>> <> <> DIRECTORY Rope; BareTest: CEDAR PROGRAM IMPORTS Rope = BEGIN ROPE: TYPE ~ Rope.ROPE; Test: PROC [a, b: ROPE] RETURNS [ROPE] ~ {RETURN a.Cat[b]}; END.