<> <> <> <<>> DIRECTORY Rope USING [ROPE], YggDummyFile USING [Handle]; YggTempFile: CEDAR DEFINITIONS ~ BEGIN Access: TYPE = {read, append, write}; OpenFile: PROC [name: Rope.ROPE, access: Access] RETURNS [openFile: YggDummyFile.Handle]; SameFile: PROC [openFile1: YggDummyFile.Handle, openFile2: YggDummyFile.Handle] RETURNS [same: BOOL]; Error: ERROR; END.