def file.text
import ezx@1.11.0.0/src/ledger/ignore.bend as Ignoreimport Base
372# lines written out as a file, each ending with a newline, which `file.lines`
373# reads back as those lines
374def file.text(ls: List<&2, String>) -> String:
375 match ls:
376 case []:
377 ""
378 case h <> t:
379 String.append(h, SCon{'\n', file.text(t)})