System.StdErr
Definitions
def flush(): Unit \ IO
SourceFlushes the standard error stream.
def newLine(): Unit \ IO
SourcePrints a newline to the standard error stream.
def print(s: String): Unit \ IO
SourcePrints the given string s
to the standard error stream.
def println(s: String): Unit \ IO
SourcePrints the given string s
and a newline to the standard error stream.