def val.uint32

import bendonnect-rpc@0.1.0.0/src/pbjson.bend as Pbjson

import Base
import bend-kit-json@0.6.1.1/json.bend as Json

61def val.uint32(+x: U32) -> Json.Val:
62  num(U32.show(x))

Uses (4)