~/jendhub

def seq_f2

bendtorch@1.3.0.0 · main.bend:772

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

772def seq_f2(~P2: Type, ~Y: Type, ~Z: Type, ~S2: Type, ~lb: Layer<P2, Y, Z, S2>, -P1: Type, -S1: Type, p2: P2, r: Fwd<P1, Y, S1>) -> Fwd<Two<P1, P2>, Z, Two<S1, S2>>:
773  match r:
774    case Fwd{p1, y, s1}:
775      seq_f3(P1, P2, Z, S1, S2, p1, s1, Layer.fwd(P2, Y, Z, S2, lb, p2, y))

Uses (5)

Used by (1)