def mat_store_fin

bendtorch@1.3.0.0 · main.bend:575

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

575def mat_store_fin(-r: Nat, -c: Nat, +off: U32, q: TA.P2) -> PA<TA.Mat<r, c>>:
576  match q:
577    case TA.P2{ma, xs}: PA{TA.Mat{ma}, xs, off}