Skip to content

Variables

Name Description
stderr:OutputStream Output stream for stderr.
stdin:InputStream Input stream for stdin.
stdout:OutputStream Output stream for stdout.
π:Real \pi