def lead.pick

bend-toon-codec@0.1.0.0 · src/num.bend:150

import Base

150def lead.pick(+z: Bool, +d: String, +p: U32, +r: Sp2) -> Sp2:
151  match z:
152    case True{}:
153      r
154    case False{}:
155      Sp2{d, p}