write_char

write_char(c, s = current_writer())
      

Write the character c to the textual output-stream s. Return void.

Examples:

let out = string_writer()
write_char(\h, out)
write_chars("ello", out)
get_output_string(out)
// hello          
      

Also see:

Core Module Index | Contents