shared/io.github.aplcornell.viaduct.prettyprinting/div

div

operator fun PrettyPrintable.div(other: PrettyPrintable): Document

Concatenates this and other with a line break in between.

Equivalent to this + Document.lineBreak + other.

>>> Document("hello") / "world"
hello
world
Content copied to clipboard
operator fun PrettyPrintable.div(other: String): Document

Convenience method. See plus.