<> <> <> <> <> DIRECTORY Rope USING [ROPE]; GriffinFileDefs: DEFINITIONS = BEGIN GriffinFileError: SIGNAL; OpenFile: PROCEDURE [filename: Rope.ROPE, write: BOOLEAN _ FALSE] RETURNS [BOOLEAN]; <> CloseFile: PROCEDURE; ReadFigure: PROCEDURE; WriteFigure: PROCEDURE; END .