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

import Base

# What a syntax node is, as Bend's parser reads it: a declaration, a part of one, a term, or a pattern; with what only
# nodes of its kind have: the global name it declares or uses (`target`, as the check names it; an import's is the path
# of the file it loads), the binder it declares or a variable uses (numbered per top-level declaration), and its
# quantity as written (a `~` parameter's is Template). An import's written path is an ImportPath under it; `import
# Base` writes none. A Definition is `unsafe` if Bend's checker trusts its body (`@unsafe def f`, or `def f?`).
type Syntax is Data:
  Import{target: String}
  ImportPath{}
  Definition{target: String, unsafe: Bool}
  Datatype{target: String}
  Constructor{target: String}
  Law{target: String}
  Parameter{binder: U32, quantity: Quantity}
  Field{binder: U32, quantity: Quantity}
  Returns{}
  Body{}
  Variable{binder: U32}
  Reference{target: String}
  Substitution{}
  Let{}
  Binding{binder: U32, quantity: Quantity}
  Sort{}
  QuantityType{}
  QuantityLiteral{quantity: Quantity}
  QuantityMinimum{}
  Forall{binder: U32, quantity: Quantity}
  Lambda{binder: U32, quantity: Maybe<&2, Quantity>}
  Application{}
  TypeApplication{target: String}
  Construction{target: String}
  Literal{target: String}
  Elimination{target: String}
  Absurd{}
  Equality{}
  Reflexivity{}
  Rewrite{}
  Hole{}
  Annotation{}
  Match{}
  Case{}
  Destructure{quantity: Quantity}
  PatternVariable{binder: U32, quantity: Quantity}
  PatternConstructor{target: String}

Uses (5):
  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=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&name=Quantity