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

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

# What a program rule sees: the program (its files, hub packages aside); every declaration of its files, with their
# uses in all of them, if a rule needs them; and the rule's options.
type Whole is Data:
  Whole{
    program: Program,
    declarations: List<&2, Declaration>,
    options: List<&2, Names.Named<Value>>
  }

Uses (5):
  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=Declaration
  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=Value
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/names.bend&name=Named