def ad.tab.pick

bend-osdev-aead@0.1.0.0 · aesround.bend:120

import Base

120def ad.tab.pick(one: Bool, l: AdTab, r: AdTab) -> AdTab:
121  match one:
122    case True{}:
123      r
124    case False{}:
125      l