Lint.Declarations.tops: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
Lines 747-783 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=747&end_line=783

import Base
import bend-lint-api@0.2.0.0/shared/tables.bend as Tables

def Declarations.tops(
  nodes: List<&2, Node>,
  +sources: List<&2, Source>,
  +globals: Map<&2, List<&2, Node>>,
  +imported: Imported,
  out: List<&2, Declaration>
) -> List<&2, Declaration>:
  match nodes:
    case Nil{}:
      out
    case Con{+top, rest}:
      Declarations.tops(
        rest,
        sources,
        globals,
        imported,
        fold(
          ~Uses,
          ~List<&2, Declaration>,
          ~Declarations.node,
          Uses{
            sources,
            globals,
            fold(
              ~Unit,
              ~Tables.Table<List<&2, Node>>,
              ~Uses.binder,
              Unit{},
              [top],
              Tables.TLeaf{None{}}
            ),
            imported
          },
          [top],
          out
        )
      )

Uses (13):
  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=Base/base.bend&name=Unit
  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=Declarations.node
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Imported
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Node
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Source
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Uses
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Uses.binder
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=fold
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/shared/tables.bend&name=Table