Bind.item_sites.binds: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/bind.bend as Bind
Lines 1074-1087 of bolt@1.27.0.0/src/syntax/bind.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&start_line=1074&end_line=1087

import Base

# every position an item of the file is named at: its declaration, then its
# uses
def item_sites.binds(binds: List<&2, Bind>, +name: String) -> List<&2, Pos>:
  match binds:
    case Nil{}:
      Nil{}
    case Con{Bind{+n, l, c, KItem{}, note}, rest}:
      +more = item_sites.binds(rest, name)
      Bool.pick(List<&2, Pos>, String.eq(n, name), Pos{l, c} <> more, more)
    case Con{Bind{+n, l, c, KCtor{}, note}, rest}:
      +more = item_sites.binds(rest, name)
      Bool.pick(List<&2, Pos>, String.eq(n, name), Pos{l, c} <> more, more)
    case Con{other, rest}:
      item_sites.binds(rest, name)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=Bind
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=BindKind
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=Pos