Lint.Program.defs: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
Lines 971-980 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=971&end_line=980

import Base
import bend-lint-api@0.2.0.0/shared/names.bend as Names

# The definitions of the program's files, by the name the check gives them, onto `out`: read one with `Names.find`.
def Program.defs(
  sources: List<&2, Source>,
  out: Map<&2, Maybe<&2, Def>>
) -> Map<&2, Maybe<&2, Def>>:
  match sources:
    case Nil{}:
      out
    case Con{Source{path, namespace, text, nodes}, rest}:
      Program.defs(rest, Program.defs.file(nodes, out))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Def
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Program.defs.file
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Source