string(+Content,
+Args, +Binding, -DOM)string. If the first
character of the content is a newline (i.e., there is a newline
immediately after the || token) this first uses
dedent_lines/3 to
the remove common white space prefix from the lines. This is called with
the option chars("\s\t|"), i.e., also removing |
characters and tab(8).
If the quasi quotation syntax carries arguments (e.g., string(To)),
the string is compiled into a function that produces the result of
interpolating the arguments into the template. See user functions on
dict objects. If there are no arguments, the result is simply the final
string.