Lint.Syntax.declares: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/linter/lint.bend as Lint
Lines 187-212 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=187&end_line=212

import Base

# Whether a node of this kind declares a global name (Some{True{}}), a binder of its top-level declaration
# (Some{False{}}), or nothing (an import declares an alias, which Declarations below handles).
def Syntax.declares(syntax: Syntax) -> Maybe<&2, Bool>:
  match syntax:
    case Definition{t, u}:
      Some{True{}}
    case Datatype{t}:
      Some{True{}}
    case Constructor{t}:
      Some{True{}}
    case Law{t}:
      Some{True{}}
    case Parameter{b, q}:
      Some{False{}}
    case Field{b, q}:
      Some{False{}}
    case Binding{b, q}:
      Some{False{}}
    case Lambda{b, q}:
      Some{False{}}
    case Forall{b, q}:
      Some{False{}}
    case PatternVariable{b, q}:
      Some{False{}}
    case _:
      None{}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Syntax