def unicode

emerging-ezjson@1.3.0.0 · src/lex.bend:178

import Base

178# one hex digit of a \uXXXX escape; the code point once four are in
179def unicode(left: Nat, acc: U32, +ch: Char, buf: List<&2, Char>, toks: List<&2, Tok>) -> Lex:
180  unicode.go(left, acc, ch, buf, toks, hex.ok(Char.to_u32(ch)))