def Mat.of

bend-ml-tensor@0.1.2.0 · main.bend:461

import Base

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