type Found

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

import bolt@1.27.0.0/src/lsp/nav.bend as Nav
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

17# what a name names: an item and the document it lives in, or a binder of
18# the document itself (a parameter, a local, a field, ..)
19type Found is Data:
20  Found{uri: String, item: Outline.Item}
21  Here{uri: String, bind: Bind.Bind}

Uses (3)

Used by (27)