writeString
public func writeString[W](mutating W, String) -> Result[(), IoError] where W: Writable, W: not CopyableWrites the UTF-8 encoding of s. Empty strings short-circuit.
Hands the string's whole byte range to writeAll in one pass via a
non-owning asByteSlice() view — one write per buffer rather than one
per byte (the old path allocated a 1-byte Array and issued a syscall
for every character, which dominated raw Stdout/File output).
Defined in lang/std/io/write.ks