def dx_fin

bendtorch@1.3.0.0 · main.bend:1437

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

1437def dx_fin(-n: Nat, -c: Nat, r: A2) -> Bwd<Unit, TA.Mat<n, c>>:
1438  match r:
1439    case A2{d, y}:
1440      Bwd{Unit{}, TA.Mat{d}, Unit{}}

Uses (5)

Used by (2)