def pa_second

bendtorch@1.3.0.0 · main.bend:584

import Base

584def pa_second(-A: Type, -B: Type, a: A, rb: PA<B>) -> PA<Two<A, B>>:
585  match rb:
586    case PA{b, xs, off}: PA{Two{a, b}, xs, off}