Module write_base

Traits

• WriteLine
  A trait for writing a type to a Write stream with a new line.
• WriteString 🔒
  Essentially the same as ToString.

Functions

• write
  Write t to write.
• write_indent 🔒
  Write indent number of double spaces to write.