def Mat.to_list

bend-blas-lapack@0.0.0.1 · mat.bend:87

import Base

87def Mat.to_list(+rows: Nat, +cols: Nat, m: Mat<rows, cols>) -> List<&2, F32>:
88  MatA{a} = m
89  list.of(Nat.mul(rows, cols), a)