~/jendhub

def uint_at2

cswap-bend-cli@0.1.0.0 · tui/num.bend:107

import cswap-bend-cli@0.1.0.0/tui/num.bend as Num
import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json

107def uint_at2(+m: Maybe<&2, Json.Json>) -> Maybe<&2, U32>:
108  match m:
109    case None{}:
110      None{}
111    case Some{x}:
112      uint_of(x)

Uses (4)

Used by (1)