Lint.Here.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 1089-1093 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=1089&end_line=1093 import Base # "" for the checked file. def Here.namespace(here: Here) -> String: match here: case Here{program, Source{path, namespace, text, nodes}, declarations, options}: namespace Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Here https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Source