string_writer(s)
Return a new output stream for writing characters.
let out = string_writer() write_char(\h, out) write_chars("ello", out) get_output_string(out) // hello
Core Module Index | Contents