<> <> <> DIRECTORY Rope USING[ ROPE ]; Target: CEDAR DEFINITIONS = BEGIN Basic: PROC; Simple: PROC[first: INT, second: REF INT] RETURNS[a: Rope.ROPE, b: ATOM]; Reason: TYPE = { x, y, z }; Exception: ERROR[why: Reason]; Consultation: SIGNAL; END.