def hexd

bend-net-json@0.3.0.0 · json.bend:136

import bend-net-json@0.3.0.0/json.bend as Json

import Base

136def hexd(+c: U32) -> U32:
137  Bool.pick(U32, digit(c), (c - 48 : U32), Bool.pick(U32, Bool.and(U32.is_le(97, c), U32.is_le(c, 102)), (c - 87 : U32), Bool.pick(U32, Bool.and(U32.is_le(65, c), U32.is_le(c, 70)), (c - 55 : U32), 99)))

Uses (6)

Used by (1)

bend-net-json@0.3.0.0/json:hex4.go