Standard library referenceModules
i/stdio
Byte-oriented standard streams.
Stdio
Stdio = ( StdioError
StdioError = (operation = String, code = String) read
read = (max_bytes : Int) <- (io : Stdio) { write
write = (bytes : BitArray) <- (io : Stdio) { write_error
write_error = (bytes : BitArray) <- (io : Stdio) { flush
flush = () <- (io : Stdio) { flush_error
flush_error = () <- (io : Stdio) { print = (text : String) { print_error
print_error = (text : String) {