def Mat.to_list

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

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray

import Base

818def Mat.to_list(+r: Nat, +c: Nat, m: Mat<r, c>) -> ML<r, c>:
819  match m:
820    case Mat{d}:
821      Mat.to_list_count(r, c, d, Nat.mul(r, c))

Uses (5)

Used by (5)