Server.hover.of: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/server.bend as Server
Lines 412-419 of bolt@1.27.0.0/src/lsp/server.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/server.bend&start_line=412&end_line=419

import Base
import emerging-ezjson@1.2.0.0/src/value.bend as J
import bolt@1.27.0.0/src/lsp/proto.bend as Proto
import bolt@1.27.0.0/src/lsp/nav.bend as Nav

def hover.of(mm: Maybe<&2, Nav.Found>) -> J.Json:
  match mm:
    case None{}:
      J.JNull{}
    case Some{Nav.Found{uri, item}}:
      Proto.hover(item)
    case Some{Nav.Here{uri, b}}:
      Proto.hover.local(b)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/nav.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/proto.bend&name=hover
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/proto.bend&name=hover.local
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.3.0.0/src/value.bend&name=Json