~/jendhub

def tie_f3

bendtorch@1.3.0.0 · main.bend:2169

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

2169def tie_f3(~P: Type, ~Z: Type, ~W: Type, ~S3: Type, ~lc: Layer<P, Z, W, S3>, -Q: Type, -S1: Type, -S2: Type, p: P, s1: S1, r: Fwd<Q, Z, S2>) -> Fwd<Two<P, Q>, W, Three<S1, S2, S3>>:
2170  match r:
2171    case Fwd{q, z, s2}:
2172      tie_f4(P, Q, W, S1, S2, S3, q, s1, s2, Layer.fwd(P, Z, W, S3, lc, p, z))

Uses (6)

Used by (1)