DEFINITION MODULE StringFileSysOp ; FROM DynamicStrings IMPORT String ; FROM CFileSysOp IMPORT AccessMode ; PROCEDURE Exists (filename: String) : BOOLEAN ; PROCEDURE IsDir (dirname: String) : BOOLEAN ; PROCEDURE IsFile (filename: String) : BOOLEAN ; PROCEDURE Unlink (filename: String) : BOOLEAN ; PROCEDURE Access (pathname: String; mode: AccessMode) : AccessMode ; END StringFileSysOp.