<> <> <> DIRECTORY IO USING [STREAM], Rope USING [ROPE], YggDID USING [DID], YggEnvironment USING [PageCount], YggFile USING [FileHandle] ; YggFileStream: CEDAR DEFINITIONS = BEGIN <> OpenFileInDirectory: PROC[did: YggDID.DID, filePart: Rope.ROPE] RETURNS[openFile: YggFile.FileHandle]; CreateFileInDirectory: PROC[did: YggDID.DID, filePart: Rope.ROPE, initialSize: YggEnvironment.PageCount] RETURNS[openFile: YggFile.FileHandle]; OpenStreamInDirectory: PROC[did: YggDID.DID, filePart: Rope.ROPE] RETURNS[stream: IO.STREAM]; END. <<>> <<>>