def at.bound

bolt@1.27.0.0 · src/lsp/nav.bend:170

import Base
import bolt@1.27.0.0/src/syntax/outline.bend as Outline
import bolt@1.27.0.0/src/syntax/bind.bend as Bind
import bolt@1.27.0.0/src/lsp/files/service.bend as F
import bolt@1.27.0.0/src/lsp/docs.bend as Docs

170def at.bound(
171  ~fs: F.Files,
172  bb: Bind.Bound,
173  items: List<&2, Outline.Item>,
174  docs: List<&2, Docs.Doc>,
175  uri: String,
176  name: String,
177  +line: U32,
178  +col: U32
179) -> IO(Maybe<&2, Found>):
180  Bind.Bound{+binds, uses, scopes} = bb
181  at.site(~fs, Bind.at(Bind.Bound{binds, uses, scopes}, line, col), binds, items, docs, uri, name)