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

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/lsp/files/service.bend as F

# the World `bolt <path>` reads, gathered as src/lint.bend gathers it: the
# planner's questions answered until it asks none, under the same fuel
def pub.world.go(~fs: F.Files, fuel: Nat, +world: W.World) -> IO(W.World):
  match fuel:
    case 0n:
      IO.pure(W.World, world)
    case 1n+f:
      pub.world.step(~fs, Plan.wants(world), world, ww => pub.world.go(~fs, f, ww))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=wants
  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/lsp/files/service.bend&name=Files
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=pub.world.step