Text.unq.go: def of bend-toon-codec@0.1.0.0 Import: import bend-toon-codec@0.1.0.0/src/text.bend as Text Lines 250-255 of bend-toon-codec@0.1.0.0/src/text.bend: https://jend.leeeet.dev/read.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&start_line=250&end_line=255 import Base def unq.go(+s: String, +st: Us) -> Result<&2, &2, String, Cut>: match s: case SNil{}: Fail{"unterminated string"} case SCon{Chr{c}, t}: unq.k(emit(st, c), t, unq.go(t, next(st, c))) Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&name=Cut https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&name=Us https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&name=emit https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&name=next https://jend.leeeet.dev/definition.txt?path=bend-toon-codec@0.1.0.0/src/text.bend&name=unq.k