def read_opt

cswap-bend-cli@0.1.0.0 · tui/run.bend:233

import cswap-bend-cli@0.1.0.0/tui/run.bend as Run

import Base

233def read_opt(+v: Maybe<&2, String>) -> Maybe<&2, U32>:
234  match v:
235    case None{}:
236      None{}
237    case Some{s}:
238      U32.read(s)

Uses (4)

Used by (1)

cswap-bend-cli@0.1.0.0/tui/run:step_pick