file

Working with files and directories.

read_file(file_name:string) : string

Reads a file and returns its content.

write_file(file_name:string,content:string)

Writes to a file.