def seq_f3

bendtorch@1.3.0.0 · main.bend:767

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

767def seq_f3(-P1: Type, -P2: Type, -Z: Type, -S1: Type, -S2: Type, p1: P1, s1: S1, r: Fwd<P2, Z, S2>) -> Fwd<Two<P1, P2>, Z, Two<S1, S2>>:
768  match r:
769    case Fwd{p2, z, s2}:
770      Fwd{Two{p1, p2}, z, Two{s1, s2}}

Uses (2)

Used by (2)