def uint_at

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

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

114def uint_at(+key: String, +j: Json.Json) -> Maybe<&2, U32>:
115  uint_at2(Json.get(key, j))

Uses (6)

Used by (4)