~/jendhub

def here

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

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

101# a binder, when there is one, in a document
102def here(mm: Maybe<&2, Bind.Bind>, uri: String) -> Maybe<&2, Found>:
103  match mm:
104    case None{}:
105      None{}
106    case Some{b}:
107      Some{Here{uri, b}}

Uses (4)

Used by (1)