def hash
import emerging-ezhttp@0.22.0.0/src/unescape.bend as Unescapeimport Base
243# after `&#`: a decimal digit opens a decimal number
244def hash(+c: Char, k: Scan -> String, +d: U32) -> String:
245 hash.dec(c, k, d, U32.is_lt(d, 16))
import emerging-ezhttp@0.22.0.0/src/unescape.bend as Unescapeimport Base
243# after `&#`: a decimal digit opens a decimal number
244def hash(+c: Char, k: Scan -> String, +d: U32) -> String:
245 hash.dec(c, k, d, U32.is_lt(d, 16))