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

import Base
import bend-lint-api@0.2.0.0/shared/lists.bend as Lists

# The namespace of the file at `path`, as the check names it (`found`, once found): "" for Base, or a file the check
# did not parse.
def Declarations.namespace(
  sources: List<&2, Source>,
  +path: String,
  found: Maybe<&2, String>
) -> String:
  match sources found:
    case _ Some{namespace}:
      namespace
    case Nil{} None{}:
      ""
    case Con{Source{p, namespace, text, nodes}, rest} None{}:
      Declarations.namespace(rest, path, Lists.when(String, String.eq(p, path), namespace))

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=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  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/shared/lists.bend&name=when