Impl.write_lines.text: def of bend-stdio-pipes@0.2.0.0
Import: import bend-stdio-pipes@0.2.0.0/impl.bend as Impl
Lines 94-99 of bend-stdio-pipes@0.2.0.0/impl.bend: https://jend.leeeet.dev/read.txt?path=bend-stdio-pipes@0.2.0.0/impl.bend&start_line=94&end_line=99

import Base

def write_lines.text(lines: List<String>) -> String:
  match lines:
    case Nil{}:
      ""
    case Con{line, rest}:
      line ++ "\n" ++ write_lines.text(rest)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append