~/jendhub

def tie_f2

bendtorch@1.3.0.0 · main.bend:2174

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

2174def tie_f2(~P: Type, ~Q: Type, ~Y: Type, ~Z: Type, ~W: Type, ~S2: Type, ~S3: Type, ~lb: Layer<Q, Y, Z, S2>, ~lc: Layer<P, Z, W, S3>, -S1: Type, q: Q, r: Fwd<P, Y, S1>) -> Fwd<Two<P, Q>, W, Three<S1, S2, S3>>:
2175  match r:
2176    case Fwd{p, y, s1}:
2177      tie_f3(~P, ~Z, ~W, ~S3, ~lc, Q, S1, S2, p, s1, Layer.fwd(Q, Y, Z, S2, lb, q, y))

Uses (6)

Used by (1)