~/jendhub

def hex

bolt@1.27.0.0 · src/rules/correctness/escape.bend:77

import bolt@1.27.0.0/src/rules/correctness/escape.bend as Escape
import Base

77# a value under 256 in hex, without leading zeros
78def hex(+nn: U32) -> String:
79  Bool.pick(String, U32.is_lt(nn, 16), hexd(nn), hexd((nn / 16 : U32)) ++ hexd((nn % 16 : U32)))

Uses (8)

Used by (1)