def tie_f4

bendtorch@1.3.0.0 · main.bend:2164

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

2164def tie_f4(-P: Type, -Q: Type, -W: Type, -S1: Type, -S2: Type, -S3: Type, q: Q, s1: S1, s2: S2, r: Fwd<P, W, S3>) -> Fwd<Two<P, Q>, W, Three<S1, S2, S3>>:
2165  match r:
2166    case Fwd{p, w, s3}:
2167      Fwd{Two{p, q}, w, Three{s1, s2, s3}}

Uses (3)

Used by (1)

bendtorch@1.3.0.0/main:tie_f3