Void put(File handle, String val)
Arguments
handle: A file handle opened for writing or appendingval: The string to write
Usage
Write a string to a file. Unlike putStr this will not write a NULL terminator to the file, and so should be used when dealing with non-binary files.
put(stdout,str) is equivalent to Builtins::putStr(str)
