~/jendhub

def hash.hex

emerging-ezhttp@0.21.0.0 · src/unescape.bend:256

import emerging-ezhttp@0.21.0.0/src/unescape.bend as Unescape
import Base

256# after `&#x`: a hex digit opens the number, else `&#x` is text
257def hash.hex(+x: Char, +c: Char, k: Scan -> String, +d: U32) -> String:
258  hash.hex.of(x, c, k, d, U32.is_lt(d, 16))

Uses (6)

Used by (1)