Pull.sk.uni: def of emerging-ezjson@1.4.0.0 Import: import emerging-ezjson@1.4.0.0/src/pull.bend as Pull Lines 1366-1381 of emerging-ezjson@1.4.0.0/src/pull.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.4.0.0/src/pull.bend&start_line=1366&end_line=1381 import Base import emerging-ezjson@1.4.0.0/src/lex.bend as Lex # one hex digit of a skipped `\u` def sk.uni( +ch: Char, tl: String, left: Nat, acc: U32, stack: List<&2, Frame>, goal: Goal, done: Bool, bad: Bool ) -> St: match bad: case True{}: err.st(goal) case False{}: sk.uni.go(ch, tl, left, acc, stack, goal, done, Lex.hex.ok(Char.to_u32(ch))) Uses (13): 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=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/lex.bend&name=hex.ok https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/pull.bend&name=Frame https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/pull.bend&name=Goal https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/pull.bend&name=St https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/pull.bend&name=err.st https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/pull.bend&name=sk.uni.go