def Mat.dump

bendtorch@1.3.0.0 · main.bend:550

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base
import bend-ml-tensor-array@0.1.18.0/main.bend as TA

550def Mat.dump(+r: Nat, +c: Nat, m: TA.Mat<r, c>) -> PL<TA.Mat<r, c>>:
551  mat_dump_fin(r, c, TA.Mat.to_list(r, c, m))

Uses (5)

Used by (10)