ReusedBinder.judge: 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 169-191 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=169&end_line=191

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

# The finding about each of `onces`, binders of `owner`, used twice on one path, onto `out`; a binder a match takes
# apart (`matched`) is skipped.
def judge(
  +owner: Lint.Node,
  onces: List<&2, Once>,
  +matched: List<&2, U32>,
  out: List<&2, Lint.Finding>
) -> List<&2, Lint.Finding>:
  match onces:
    case Nil{}:
      out
    case Con{Once{+b, name}, rest}:
      judge(
        owner,
        rest,
        matched,
        Lists.onto(
          &2,
          Lint.Finding,
          judged(List.contains(~U32, ~U32.is_eq, matched, b), owner, b, name),
          out
        )
      )

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.contains
  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=Finding
  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/shared/lists.bend&name=onto
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/language/reused_binder.bend&name=Once
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/language/reused_binder.bend&name=judged