Prefix.skip.step: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/prefix.bend as Prefix
Lines 119-129 of bolt@1.27.0.0/src/rules/suspicious/prefix.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&start_line=119&end_line=129

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

# where a token of the kind leaves the scan at the depth
def skip.step(kk: Lex.TokKind, dd: Nat) -> Skip:
  match kk:
    case Lex.TComma{}:
      skip.comma(dd)
    case Lex.TOpen{}:
      SGo{1n+dd}
    case Lex.TClose{}:
      skip.close(dd)
    case other:
      SGo{dd}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&name=Skip
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&name=skip.close
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/prefix.bend&name=skip.comma
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=TokKind