def code_pick

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

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

import Base

114def code_pick(r: Result<&1, &1, U32 & String, U32 & (String & String)>) -> U32:
115  match r:
116    case Fail{e}:
117      1
118    case Done{v}:
119      code_of(v)

Uses (5)

Used by (1)

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