writeFile package:base-compat

The computation writeFile file str function writes the string str, to the file file.