Lex.text.go: def of emerging-ezjson@1.3.0.0 Import: import emerging-ezjson@1.3.0.0/src/lex.bend as Lex Lines 74-80 of emerging-ezjson@1.3.0.0/src/lex.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&start_line=74&end_line=80 import Base # the buffer is reversed, so consing each head onto the front yields the text def text.go(buf: List<&2, Char>, acc: String) -> String: match buf: case Nil{}: acc case Con{h, t}: text.go(t, SCon{h, acc}) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String