Lex.tokens.end: def of emerging-ezjson@1.4.0.0
Import: import emerging-ezjson@1.4.0.0/src/lex.bend as Lex
Lines 395-400 of emerging-ezjson@1.4.0.0/src/lex.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezjson@1.4.0.0/src/lex.bend&start_line=395&end_line=400

import Base

def tokens.end(st: Scan) -> List<&2, Tok>:
  match st:
    case Old{lex}:
      finish(lex)
    case Go{cut, n, mode, toks}:
      tokens.done(cut, n, mode, toks)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/lex.bend&name=Scan
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/lex.bend&name=Tok
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/lex.bend&name=finish
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/lex.bend&name=tokens.done