def tie_b3
import bendtorch@1.3.0.0/main.bend as Bendtorchimport Base
2189def tie_b3(~P: Type, ~X: Type, ~Y: Type, ~S1: Type, ~la: Layer<P, X, Y, S1>, -Q: Type, p: P, s1: S1, gp: P, r: Bwd<Q, Y>) -> Bwd<Two<P, Q>, X>:
2190 match r:
2191 case Bwd{q, dy, gq}:
2192 tie_b4(P, Q, X, q, gq, Layer.bwd(P, X, Y, S1, la, p, s1, dy, gp))