Escape.scan: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/correctness/escape.bend as Escape
Lines 100-110 of bolt@1.27.0.0/src/rules/correctness/escape.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&start_line=100&end_line=110

import Base
import bolt@1.27.0.0/src/finding.bend as F

# a literal's Syms from a column; an escape is its backslash and one char
def scan(ss: List<&2, Sym>, +path: String, +line: U32, +col: U32) -> List<&2, F.Finding>:
  match ss:
    case Con{SSlash{}, Con{SZero{}, +rest}}:
      after(rest, path, line, col, scan(rest, path, line, (col + 2 : U32)))
    case Con{SSlash{}, Con{e, rest}}:
      scan(rest, path, line, (col + 2 : U32))
    case Con{s, rest}:
      scan(rest, path, line, (col + 1 : U32))
    case Nil{}:
      Nil{}

Uses (7):
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&name=Sym
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/correctness/escape.bend&name=after