[ Character I/O | Reference Manual | Alphabetic Index ]
A newline is printed on the output stream.
Used to print a newline sequence on the current output stream.
The exact character sequence emitted depends on the setting of
end_of_line flag (lf or crlf).
In addition, if the stream's
flush flag is set to
end_of_line, the stream is also flushed.
Modes and Determinism
nl / 1, writeln / 1