Provided by: kaya_0.4.4-6ubuntu3_amd64 bug

NAME

       IO::putInt - Write an integer to a file (as binary)

SYNOPSIS

       Void putInt( File handle, Int i )

ARGUMENTS

       handle A writable file handle

       i The integer to write

DESCRIPTION

       Write an integer to a file as a set of four binary bytes. The most significant byte is written first.

AUTHORS

       Kaya  standard  library  by  Edwin  Brady,  Chris  Morris  and  others  (kaya@kayalang.org).  For further
       information see http://kayalang.org/

LICENSE

       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.

RELATED

       IO.getInt (3kaya)
       IO.put (3kaya)
       IO.putChar (3kaya)
       IO.putStr (3kaya)

Kaya                                                July 2013                                   IO.putInt(3kaya)