with_in filename f opens filename and calls f g, where g is a generator of characters from the file. The generator is only valid within the scope in which f is called.

with_lines filename f opens file filename and calls f g, where g is a generator that iterates on the lines from the file. Do not use the generator outside of the scope of f

• since 0.4

write_to filename g writes all strings from g into the given file. It takes care of opening and closing the file. Does not add sep after the last string.

• parameter mode

  default 0o644

• parameter flags

  used by open_out_gen. Default: [Open_creat;Open_wronly].

• parameter sep

  separator between each string (e.g. newline)

Same as write_str but with individual characters

write_lines file g is similar to write_str file g ~sep:"\n" but also adds '\n' at the end of the file

• since 0.4