ReusedBinder.Seen: type of bend-lint-rules@0.2.0.0 Import: import bend-lint-rules@0.2.0.0/language/reused_binder.bend as ReusedBinder Lines 21-24 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=21&end_line=24 import Base import bend-lint-api@0.2.0.0/linter/lint.bend as Lint # The live uses of one binder among some nodes: the first, and the first that an earlier one on its path precedes, if # any. Two uses are on one path unless a match parts them: its cases, and its scrutinees, are each a path of their own. type Seen is Data: Seen{first: Maybe<&2, Lint.Span>, second: Maybe<&2, Lint.Span>} Uses (2): 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=Span