~/jendhub

def fork_f2

bendtorch@1.3.0.0 · main.bend:2102

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

2102def fork_f2(~P1: Type, ~P2: Type, ~X: Type, ~Y1: Type, ~Y2: Type, ~S1: Type, ~S2: Type, ~la: Layer<P1, X, Y1, S1>, ~lb: Layer<P2, X, Y2, S2>, p1: P1, p2: P2, d: Two<X, X>) -> Fwd<Two<P1, P2>, Two<Y1, Y2>, Two<S1, S2>>:
2103  match d:
2104    case Two{xa, xb}:
2105      pair_f3(~P2, ~X, ~Y2, ~S2, ~lb, P1, Y1, S1, p2, xb, Layer.fwd(P1, X, Y1, S1, la, p1, xa))

Uses (5)

Used by (1)