def file.lines

ezx@1.11.0.0 · src/ledger/ignore.bend:367

import Base

367# the lines of a file. An empty file has none, a file of one newline has one
368# empty line, and a last line with no newline after it is a line all the same.
369def file.lines(text: String) -> List<&2, String>:
370  unend(String.lines(text))