writeFile package:hedgehog

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