Nav.sites.of: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/nav.bend as Nav
Lines 316-331 of bolt@1.27.0.0/src/lsp/nav.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/nav.bend&start_line=316&end_line=331

import Base
import bolt@1.27.0.0/src/syntax/bind.bend as Bind

def sites.of(site: Maybe<&2, Bind.Site>, +bb: Bind.Bound) -> Sites:
  match site:
    case None{}:
      Sites{False{}, []}
    case Some{Bind.SBind{Bind.Bind{name, l, c, Bind.KItem{}, note}}}:
      Sites{True{}, Bind.item_sites(bb, name)}
    case Some{Bind.SBind{Bind.Bind{name, l, c, Bind.KCtor{}, note}}}:
      Sites{True{}, Bind.item_sites(bb, name)}
    case Some{Bind.SBind{Bind.Bind{name, l, c, k, note}}}:
      Sites{True{}, Bind.sites(bb, l, c)}
    case Some{Bind.SUse{Bind.Use{n, l, c, Bind.TLocal{tl, tc}}}}:
      Sites{True{}, Bind.sites(bb, tl, tc)}
    case Some{Bind.SUse{Bind.Use{n, l, c, Bind.TItem{name}}}}:
      Sites{True{}, Bind.item_sites(bb, name)}
    case Some{Bind.SUse{Bind.Use{n, l, c, other}}}:
      Sites{False{}, Bind.named_sites(bb, n)}

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/nav.bend&name=Sites
  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=Bound
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=Site
  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
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=item_sites
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=named_sites
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/bind.bend&name=sites