~/jendhub

def both_b2

bendtorch@1.3.0.0 · main.bend:2138

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

2138def both_b2(~P1: Type, ~X1: Type, ~Y1: Type, ~S1: Type, ~la: Layer<P1, X1, Y1, S1>, -P2: Type, -X2: Type, p1: P1, s1: S1, d1: Y1, g1: P1, r: Bwd<P2, X2>) -> Bwd<Two<P1, P2>, Two<X1, X2>>:
2139  match r:
2140    case Bwd{p2, dx2, g2}:
2141      both_b3(P1, P2, X1, X2, p2, g2, dx2, Layer.bwd(P1, X1, Y1, S1, la, p1, s1, d1, g1))

Uses (5)

Used by (1)