def mat_restore_fin

bendtorch@1.3.0.0 · main.bend:559

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

559def mat_restore_fin(-r: Nat, -c: Nat, +off: U32, q: TA.P2) -> PA<TA.Mat<r, c>>:
560  match q:
561    case TA.P2{xs, dst}: PA{TA.Mat{dst}, xs, off}