definition module File

import StdEnv, StdMaybe

print :: !String !*World -> *World

readFile :: !String !*World -> (!String,!*World)
readLine :: !String !*World -> (Bool, Maybe String, !*World)
readFileArray :: !String !*World -> (Bool, [String],!*World)
writeFile :: !String !String !*World -> *World
copyFile :: !String !String !*World -> *World

isDirectory :: !String !*World -> (Bool, *World)
removeFiles :: !String !*World -> *World
fileList :: !String !*World -> (Bool, [String], *World)

extractPathAndFile :: !String -> (!String,!String)
extractFileName :: !String -> String
extractPathFileAndExtension :: !String -> (!String,!String)