~/jendhub

def seq_step2

bendtorch@1.3.0.0 · main.bend:803

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

803def seq_step2(~P1: Type, ~P2: Type, ~X: Type, ~Y: Type, ~Z: Type, ~S1: Type, ~S2: Type, ~la: Layer<P1, X, Y, S1>, ~lb: Layer<P2, Y, Z, S2>, +op: Opt, p: Two<P1, P2>, g: Two<P1, P2>, st: Two<OptState<P1>, OptState<P2>>) -> Step<Two<P1, P2>>:
804  match p g st:
805    case Two{p1, p2} Two{g1, g2} Two{s1, s2}:
806      seq_s2(~P2, ~Y, ~Z, ~S2, ~lb, P1, op, p2, g2, s2, Layer.step(P1, X, Y, S1, la, op, p1, g1, s1))

Uses (7)

Used by (1)