Space.check.go: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/space.bend as Space
Lines 83-88 of bolt@1.27.0.0/src/rules/style/space.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/space.bend&start_line=83&end_line=88

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

def check.go(lines: List<&2, String>, +path: String, +nn: U32) -> List<&2, F.Finding>:
  match lines:
    case Nil{}:
      Nil{}
    case Con{line, rest}:
      check.line(path, nn, String.to_list(line), check.go(rest, path, (nn + 1 : U32)))

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=String.to_list
  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/style/space.bend&name=check.line