~/jendhub

def hexd

bend-kit-json@0.7.0.0 · json.bend:145

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

145def hexd(+c: U32) -> U32:
146  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)