def num.end

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

import Base

260# inside a number, a character that is not a digit: `;` ends the reference
261# with it, anything else ends it and is text
262def num.end(+n: U32, +c: Char, k: Scan -> String, semi: Bool) -> String:
263  match semi:
264    case True{}:
265      code(n) ++ k(Txt{})
266    case False{}:
267      code(n) ++ text(c, k)