def hash.x

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

import Base

227# after `&#`: `x` or `X` opens a hexadecimal number
228def hash.x(+c: Char, k: Scan -> String, x: Bool) -> String:
229  match x:
230    case True{}:
231      k(HashX{c})
232    case False{}:
233      "&#" ++ text(c, k)