def fork_fwd

bendtorch@1.3.0.0 · main.bend:2122

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

2122def fork_fwd(~P1: Type, ~P2: Type, ~X: Type, ~Y1: Type, ~Y2: Type, ~S1: Type, ~S2: Type, ~dup: X -> Two<X, X>, ~la: Layer<P1, X, Y1, S1>, ~lb: Layer<P2, X, Y2, S2>, p: Two<P1, P2>, x: X) -> Fwd<Two<P1, P2>, Two<Y1, Y2>, Two<S1, S2>>:
2123  match p:
2124    case Two{p1, p2}:
2125      fork_f2(~P1, ~P2, ~X, ~Y1, ~Y2, ~S1, ~S2, ~la, ~lb, p1, p2, dup(x))

Uses (4)

Used by (1)

bendtorch@1.3.0.0/main:Fork