<> <> <> <> <> <> <> <<>> <> <> <> DIRECTORY FS USING [OpenFile], IO USING [STREAM], Rope USING [ROPE]; RopeIO: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Rope.ROPE; ToFile: PROC [fileName, rope: ROPE, start: INT _ 0]; <> <> <> ToFileC: PROC [openFile: FS.OpenFile, rope: ROPE, start: INT _ 0]; <> FromFile: PROC [fileName: ROPE, start: INT _ 0, len: INT _ LAST[INT]] RETURNS [ROPE]; <> <> <> FromFileC: PROC [openFile: FS.OpenFile, start: INT _ 0, len: INT _ LAST[INT]] RETURNS [ROPE]; <> <<**** IO Stream Operations ****>> PutRope: PROC [stream: IO.STREAM, rope: ROPE]; <> GetRope: PROC [stream: IO.STREAM, len: INT _ LAST[INT]] RETURNS [rope: ROPE]; <> END.