BendTensors.MatT.from_rows.leaf: def of bend-tensors@0.0.0.2
Import: import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensors
Lines 1103-1115 of bend-tensors@0.0.0.2/bend_tensors.bend: https://jend.leeeet.dev/read.txt?path=bend-tensors@0.0.0.2/bend_tensors.bend&start_line=1103&end_line=1115

import Base

# a leaf from up to four rows; missing rows and cells pad with 0.0
def MatT.from_rows.leaf(rows: List<&2, List<&2, F32>>) -> Blk:
  match rows:
    case r0 <> r1 <> r2 <> r3 <> rest:
      Blk.from_rows(r0, r1, r2, r3)
    case r0 <> r1 <> r2 <> []:
      Blk.from_rows(r0, r1, r2, [])
    case r0 <> r1 <> []:
      Blk.from_rows(r0, r1, [], [])
    case r0 <> []:
      Blk.from_rows(r0, [], [], [])
    case []:
      Blk.zeros()

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=bend-tensors@0.0.0.2/bend_tensors.bend&name=Blk
  https://jend.leeeet.dev/definition.txt?path=bend-tensors@0.0.0.2/bend_tensors.bend&name=Blk.from_rows
  https://jend.leeeet.dev/definition.txt?path=bend-tensors@0.0.0.2/bend_tensors.bend&name=Blk.zeros