<<>> <> <> <> <> <> <<>> DIRECTORY Rope USING [ROPE], PFSBackdoor USING [ErrorCode], UnixErrno USING [Errno]; UnixFSPrivate: CEDAR DEFINITIONS ~ BEGIN ROPE: TYPE = Rope.ROPE; ReportFailure: PROC [errno: UnixErrno.Errno, msg: ROPE]; <> <<>> TranslateErrno: PROC [err: UnixErrno.Errno] RETURNS [code: PFSBackdoor.ErrorCode]; END.