Lint.Run: type of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
Lines 1258-1264 of bend-lint-api@0.2.0.0/linter/lint.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&start_line=1258&end_line=1264

import Base

# How a rule runs: once per linted file, reporting only in it; or once per check, on the whole program, reporting in any
# file (what it finds in a file that is not linted is dropped). When several entries check the named file, a program
# rule's finding stays if some check finds it, or, if `every`, if every check finds it; then, if an entry that reads the
# named file fails its check, the rule does not run.
type Run is Type:
  OnFile{run: @+here: Here -> Ask(List<&2, Finding>)}
  OnProgram{every: Bool, run: @+whole: Whole -> Ask(List<&2, Finding>)}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Ask
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Here
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Whole