def num.ok.go
import emerging-ezjson@1.3.0.0/src/value.bend as Valueimport Base
276def num.ok.go(cs: List<&2, Char>, st: Num) -> Bool:
277 match cs:
278 case Nil{}:
279 num.ok.done(st)
280 case Con{c, t}:
281 num.ok.go(t, num.ok.step(st, Char.to_u32(c)))