def Json.hex

import bend-kube-runtime@0.2.0.0/src/json.bend as Json

import Base

230def Json.hex(+n: U32) -> Char:
231  Json.hex.if(n, U32.is_lt(n, 10))

Uses (4)