def seq_b3

bendtorch@1.3.0.0 · main.bend:782

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

782def seq_b3(-P1: Type, -P2: Type, -X: Type, p2: P2, g2: P2, r: Bwd<P1, X>) -> Bwd<Two<P1, P2>, X>:
783  match r:
784    case Bwd{p1, dx, g1}:
785      Bwd{Two{p1, p2}, dx, Two{g1, g2}}

Uses (2)

Used by (2)