Empty.last.step: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/empty.bend as Empty
Lines 111-124 of bolt@1.27.0.0/src/rules/suspicious/empty.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/suspicious/empty.bend&start_line=111&end_line=124

import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex

# what a token leaves of the last tokens: a comma, a name after a comma, or
# anything else
def last.step(+kk: Lex.TokKind, +tt: String, ll: Last) -> Last:
  match kk:
    case Lex.TComma{}:
      LComma{}
    case Lex.TName{}:
      match ll:
        case LComma{}:
          LName{code(kk, tt)}
        case other:
          LOther{}
    case other:
      LOther{}

Uses (4):
  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/rules/suspicious/empty.bend&name=Last
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/empty.bend&name=code
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=TokKind