def pt.pick

bendonnect-rpc@0.1.0.0 · src/protocol.bend:204

import Base

204def pt.pick(ok: Bool, rest: Unit -> Maybe<&2, U32>) -> Maybe<&2, U32>:
205  match ok:
206    case True{}:
207      rest(Unit{})
208    case False{}:
209      None{}