def rows_of

mlbend-datasets@0.1.6.0 · main.bend:176

import Base

176# The rows of a file.
177def rows_of(lines: List<&2, String>, drop: Nat) -> Rows:
178  rows_go(lines, drop, Rows{Nil{}, Nil{}})