dotty.tools.dotc.printing.Texts
A concatenation of elements in xs and interspersed with separator strings sep.
xs
sep
The empty text
The given texts xs, each on a separate line