~/jendhub

def seq_fwd

bendtorch@1.3.0.0 · main.bend:777

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

777def seq_fwd(~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>, p: Two<P1, P2>, x: X) -> Fwd<Two<P1, P2>, Z, Two<S1, S2>>:
778  match p:
779    case Two{p1, p2}:
780      seq_f2(~P2, ~Y, ~Z, ~S2, ~lb, P1, S1, p2, Layer.fwd(P1, X, Y, S1, la, p1, x))

Uses (5)

Used by (1)