write_str

Function write_str 

Source
pub fn write_str<W: Write>(w: &mut W, s: &str) -> SmtRes<()>
Expand description

Writes a string.