def pl_second

bendtorch@1.3.0.0 · main.bend:593

import Base

593def pl_second(-A: Type, -B: Type, a: A, rb: PL<B>) -> PL<Two<A, B>>:
594  match rb:
595    case PL{b, rest}:
596      PL{Two{a, b}, rest}