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.