def hold.int

cswap-bend-cli@0.1.0.0 · args.bend:218

import cswap-bend-cli@0.1.0.0/args.bend as Args

import Base

218def hold.int(r: Maybe<&2, U32>) -> Hold:
219  match r:
220    case Some{n}:
221      HoldOk{Some{n}}
222    case None{}:
223      hold.bad()

Uses (4)

Used by (1)

cswap-bend-cli@0.1.0.0/args:hold.parts