Nav.Sites: type of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/lsp/nav.bend as Nav Lines 311-314 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=311&end_line=314 import Base import bolt@1.27.0.0/src/syntax/bind.bend as Bind # the positions a name is at in its document, and whether the name is the # document's own (a binder, or an item of it) -- only those can be renamed type Sites is Data: Sites{mine: Bool, at: List<&2, Bind.Pos>} Uses (3): 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=bolt@1.27.0.0/src/syntax/bind.bend&name=Pos