ReusedBinder.Seen.of: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/language/reused_binder.bend as ReusedBinder
Lines 93-99 of bend-lint-rules@0.2.0.0/language/reused_binder.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/language/reused_binder.bend&start_line=93&end_line=99

import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

# What a node's uses of `b` are: its own, if it is a live use, else `under`'s, those under it.
def Seen.of(+node: Lint.Node, b: U32, live: Bool, under: Seen) -> Seen:
  match node live:
    case Lint.Node{Lint.Variable{v}, n, Some{span}, k, f} True{}:
      Bool.pick(Seen, U32.is_eq(v, b), Seen{Some{span}, None{}}, under)
    case _ _:
      under

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  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=Syntax
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/language/reused_binder.bend&name=Seen