Bind.named_sites.go: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/syntax/bind.bend as Bind
Lines 1105-1115 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=1105&end_line=1115

import Base

# every position a name not of this file is used at (Base, or through an
# alias)
def named_sites.go(uses: List<&2, Use>, +name: String) -> List<&2, Pos>:
  match uses:
    case Nil{}:
      Nil{}
    case Con{Use{+n, l, c, TLocal{tl, tc}}, rest}:
      named_sites.go(rest, name)
    case Con{Use{+n, l, c, tg}, rest}:
      +more = named_sites.go(rest, name)
      Bool.pick(List<&2, Pos>, String.eq(n, name), Pos{l, c} <> more, more)

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=Pos
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=Target
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=Use