def pl_pair

bendtorch@1.3.0.0 · main.bend:588

import Base

588def pl_pair(-A: Type, -B: Type, ra: PL<A>, rb: PL<B>) -> PL<Two<A, B>>:
589  match ra rb:
590    case PL{a, xa} PL{b, xb}:
591      PL{Two{a, b}, List.append(&2, F32, xa, xb)}