<> <> DIRECTORY Rope, SymbolTable; ProcMap: CEDAR DEFINITIONS = { Item: TYPE = RECORD [ firstSource: INT, proc: Rope.ROPE]; Object: TYPE = RECORD [ length: NAT, info: SEQUENCE maxLength: NAT OF Item]; Handle: TYPE = REF Object; Create: PROC [module: Rope.ROPE] RETURNS [Handle]; FromSource: PROC [h: Handle, src: INT] RETURNS [Rope.ROPE]; }.