Os.stdout_write

Os.stdout_write(s)

Writes a string to standard output verbatim — no trailing newline is added, unlike print. Use it for tool output where you control the exact bytes (progress, generated text, machine-readable lines).

Parameters

sthe string to write

Example

program StdoutWrite {
  entry {
    Os.stdout_write("hello")
    Os.stdout_write("\n")
  }
}

← All symbols