Lint.Whole.of: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
Lines 1076-1082 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=1076&end_line=1082

import Base

# The whole program, built once for every program rule: the declarations of its own files, if a rule needs them
# (`declare`).
def Whole.of(program: Program, declare: Bool) -> Whole:
  match program:
    case Program{sources}:
      +own = Program.own(sources)
      Whole{Program{own}, Declarations.when(declare, own, own), []}

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=Declarations.when
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Program
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Program.own
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Whole