def lead.pick

bend-toon-codec@0.1.0.0 · src/dline.bend:13

import Base

13def lead.pick(+go: Bool, +s: String, +sp: U32, +tabs: U32, +r: Ld) -> Ld:
14  match go:
15    case True{}:
16      r
17    case False{}:
18      Ld{sp, tabs, s}