BendMlTensor.Mat.of: def of bend-ml-tensor@0.1.2.0
Import: import bend-ml-tensor@0.1.2.0/main.bend as BendMlTensor
Lines 461-463 of bend-ml-tensor@0.1.2.0/main.bend: https://jend.leeeet.dev/read.txt?path=bend-ml-tensor@0.1.2.0/main.bend&start_line=461&end_line=463

import Base

# Mat<r, c> from rows, only if they are exactly r rows of c numbers
def Mat.of(+r: Nat, +c: Nat, +rs: List<&2, List<&2, F32>>) -> Maybe<&2, Mat<r, c>>:
  Mat.of2(r, c, rows.ok(rs, c, r), rs)

Uses (7):
  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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-ml-tensor@0.1.2.0/main.bend&name=Mat
  https://jend.leeeet.dev/definition.txt?path=bend-ml-tensor@0.1.2.0/main.bend&name=Mat.of2
  https://jend.leeeet.dev/definition.txt?path=bend-ml-tensor@0.1.2.0/main.bend&name=rows.ok