
put(+Code)

   The character represented by the integer Code is put onto the
buffered current output

Arguments
   Code                Integer.

Type
   Character I/O

Description
   Writes the character (or byte, in case of binary stream) represented by
   the integer Code onto the buffered current output stream.  The acceptable
   value range depends on the stream's character encoding, or is 0 to 255
   for binary streams.

   Note that the output from put/1 is usually buffered, and is only output
   to the screen when the output is flushed e.g. when returning to the
   ECLiPSe prompt or explicitly using flush(output).

   Character codes for the non-printable characters (i.e. control characters)
   are also acceptable.


Modes and Determinism
   put(+) is det

Exceptions
     4 --- Code is not instantiated.
     5 --- Code is instantiated, but not to an integer.

Examples
      Equivalent to put(output, Code).  (see put/2 for details).





See Also
   get / 1, get / 2, put / 2, nl / 0
