def num.pick

import cswap-bend-cli@0.1.0.0/clock.bend as Clock

import Base

83def num.pick(ok: Bool, s: String) -> Maybe<&2, U32>:
84  match ok:
85    case True{}:
86      U32.read(s)
87    case False{}:
88      None{}

Uses (5)

U32
Bool
String
Maybe
U32.read

Used by (1)

cswap-bend-cli@0.1.0.0/clock:num