def int.pick

cswap-bend-cli@0.1.0.0 · setwrite.bend:24

import Base
import cswap-bend-cli@0.1.0.0/settings.bend as Settings

24def int.pick(ok: Bool, t: String) -> Maybe<&2, Settings.Dec>:
25  match ok:
26    case True{}:
27      Settings.num(t)
28    case False{}:
29      None{}