Value.num.ok.go: def of emerging-ezjson@1.3.0.0 Import: import emerging-ezjson@1.3.0.0/src/value.bend as Value Lines 276-281 of emerging-ezjson@1.3.0.0/src/value.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&start_line=276&end_line=281 import Base def num.ok.go(cs: List<&2, Char>, st: Num) -> Bool: match cs: case Nil{}: num.ok.done(st) case Con{c, t}: num.ok.go(t, num.ok.step(st, Char.to_u32(c))) Uses (7): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.to_u32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Num https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=num.ok.done https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=num.ok.step