- declaration: Lean.Server.GoToKind
- definition: Lean.Server.GoToKind
- type: Lean.Server.GoToKind
Instances For
Instances For
def
Lean.Server.locationLinksFromDecl
(srcSearchPath : Lean.SearchPath)
(uri : Lean.Lsp.DocumentUri)
(n : Lake.Name)
(originRange? : Option Lean.Lsp.Range)
: