def Mat.of_list

bend-ml-tensor-array@0.1.19.0 · main.bend:777

import Base

777def Mat.of_list(+r: Nat, +c: Nat, +xs: List<&2, F32>) -> Maybe<&1, Mat<r, c>>:
778  Mat.of_list2(r, c, r, c, len_is(xs, Nat.mul(r, c)), xs)