def two

bendtorch-load@1.3.0.0 · main.bend:600

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

600# A pair of parameters filled one after the other: the first piece's source array is released before the second is read
601def two(-P1: Type, -P2: Type, p: T.Two<P1, P2>, k1: P1 -> IO(P1), k2: P2 -> IO(P2)) -> IO(T.Two<P1, P2>):
602  match p:
603    case T.Two{a, b}:
604      do IO<T.Two<P1, P2>>:
605        x : P1 <- k1(a)
606        y : P2 <- k2(b)
607        return T.Two{x, y}