MlbendDatasets.rows_go: def of mlbend-datasets@0.1.6.0
Import: import mlbend-datasets@0.1.6.0/main.bend as MlbendDatasets
Lines 168-174 of mlbend-datasets@0.1.6.0/main.bend: https://jend.leeeet.dev/read.txt?path=mlbend-datasets@0.1.6.0/main.bend&start_line=168&end_line=174

import Base

# The rows of a file, one line at a time.
def rows_go(lines: List<&2, String>, +drop: Nat, +acc: Rows) -> Rows:
  match lines:
    case Nil{}:
      acc
    case Con{h, t}:
      rows_go(t, drop, add_row_of(acc, row_of(h, drop)))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=mlbend-datasets@0.1.6.0/main.bend&name=Rows
  https://jend.leeeet.dev/definition.txt?path=mlbend-datasets@0.1.6.0/main.bend&name=add_row_of
  https://jend.leeeet.dev/definition.txt?path=mlbend-datasets@0.1.6.0/main.bend&name=row_of