Lex.tokens.done: def of emerging-ezjson@1.3.0.0
Import: import emerging-ezjson@1.3.0.0/src/lex.bend as Lex
Lines 386-393 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=386&end_line=393

import Base

def tokens.done(cut: String, nn: U32, mode: Span, toks: List<&2, Tok>) -> List<&2, Tok>:
  match mode:
    case GIdle{}:
      List.reverse(&2, Tok, toks)
    case GWord{}:
      List.reverse(&2, Tok, tokens.push(cut, nn, True{}, toks))
    case _:
      List.reverse(&2, Tok, TBad{} <> toks)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.reverse
  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.3.0.0/src/lex.bend&name=Span
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&name=Tok
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/lex.bend&name=tokens.push