Lex.text.go: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/lex.bend as Lex
Lines 324-330 of bolt@1.27.0.0/src/syntax/lex.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&start_line=324&end_line=330

import Base

# the tokens' texts, back to back: the source
def text.go(toks: List<&2, Tok>, acc: List<&2, String>) -> List<&2, String>:
  match toks:
    case Nil{}:
      acc
    case Con{Tok{k, t, l, c}, rest}:
      text.go(rest, t <> acc)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=Tok