package ojs_ed

string_of_file filename returns the content of filename in the form of one string.

• author Maxence Guesdon

• version 1.1

• raises Sys_error

  if the file could not be opened. @cgname File.string_of_file

file_of_string ~file str creates a file named filename whose content is str.

• author Fabrice Lefessant

• version 1.1

• raises Sys_error

  if the file could not be opened. @cgname File.file_of_string