def text_lines

cli@0.2.0.0 · cli.bend:6195

import Base

6195def text_lines(lines: List<&2, String>) -> String:
6196  match lines:
6197    case Nil{}: ""
6198    case line <> tail: String.concat([line, "\n", text_lines(tail)])