Namespaces Symbols

System.StdOut

0.40.0

Definitions

def flush : Unit \ IO

Source

Flushes the standard output stream.

def newLine : Unit \ IO

Source

Prints a newline to the standard output stream.

def print ( s : String ) : Unit \ IO

Source

Prints the given string s to the standard output stream.

def println ( s : String ) : Unit \ IO

Source

Prints the given string s and a newline to the standard output stream.