def mat_dump_fin

bendtorch@1.3.0.0 · main.bend:544

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

544# dump and load for a matrix: its r*c numbers, row by row
545def mat_dump_fin(-r: Nat, -c: Nat, ml: TA.ML<r, c>) -> PL<TA.Mat<r, c>>:
546  match ml:
547    case TA.ML{m, xs}:
548      PL{m, xs}