Server.pub.marks: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/server.bend as Server
Lines 249-252 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=249&end_line=252

import Base
import bolt@1.27.0.0/src/lint/plan.bend as Plan
import bolt@1.27.0.0/src/lint/world.bend as W
import bolt@1.27.0.0/src/role.bend as Role

# the role marks `bolt <path>` reads from a World: the imports of every file
# of the tree (Plan.graph), each file read for its imports alone
def pub.marks(+world: W.World) -> List<&2, Role.Mark>:
  Plan.marks.named(world)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=marks.named
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=Mark