<> <> <> <> DIRECTORY Rope USING [ROPE], AMTypes USING [TV]; RemoteRope: CEDAR DEFINITIONS = BEGIN OPEN Rope, AMTypes; RopeFromTV: PROC [tv: TV] RETURNS [ROPE]; <> RemoteLength: PROC [tv: TV] RETURNS [INT]; <> RemoteFetch: PUBLIC PROC [tv: TV, index: INT] RETURNS [CHAR]; <> END.