Mat.rows.of: def of bend-blas-lapack@0.0.0.1
Import: import bend-blas-lapack@0.0.0.1/mat.bend as Mat
Lines 66-72 of bend-blas-lapack@0.0.0.1/mat.bend: https://jend.leeeet.dev/read.txt?path=bend-blas-lapack@0.0.0.1/mat.bend&start_line=66&end_line=72

import Base

# xs cut into rows of cols
def rows.of(rows: Nat, +cols: Nat, +xs: List<&2, F32>) -> List<&2, List<&2, F32>>:
  match rows:
    case 0n:
      []
    case 1n+p:
      List.take(&2, F32, xs, cols) <> rows.of(p, cols, List.drop(&2, F32, xs, cols))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.drop
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.take
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat