~/jendhub

def both_b3

bendtorch@1.3.0.0 · main.bend:2133

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

2133def both_b3(-P1: Type, -P2: Type, -X1: Type, -X2: Type, p2: P2, g2: P2, dx2: X2, r: Bwd<P1, X1>) -> Bwd<Two<P1, P2>, Two<X1, X2>>:
2134  match r:
2135    case Bwd{p1, dx1, g1}:
2136      Bwd{Two{p1, p2}, Two{dx1, dx2}, Two{g1, g2}}

Uses (2)

Used by (1)