~/jendhub

def pair_f4

bendtorch@1.3.0.0 · main.bend:2089

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

2089def pair_f4(-P1: Type, -P2: Type, -Y1: Type, -Y2: Type, -S1: Type, -S2: Type, p1: P1, y1: Y1, s1: S1, r: Fwd<P2, Y2, S2>) -> Fwd<Two<P1, P2>, Two<Y1, Y2>, Two<S1, S2>>:
2090  match r:
2091    case Fwd{p2, y2, s2}:
2092      Fwd{Two{p1, p2}, Two{y1, y2}, Two{s1, s2}}

Uses (2)

Used by (1)