Provided by: kaya_0.4.4-6ubuntu3_amd64 bug


       IO::put - Write a string to a file.


       Void put( File handle, String val )


       handle A file handle opened for writing or appending

       val The string to write


       Write  a  string to a file. Unlike IO.putStr (3kaya) 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)


       Kaya standard library by Edwin Brady, Chris Morris  and  others  (  For
       further information see


       The Kaya standard library is free software; you can redistribute it and/or modify it under
       the terms of the GNU Lesser General Public License (version 2.1 or any later  version)  as
       published by the Free Software Foundation.