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

import Base
import bolt@1.27.0.0/src/lint/world.bend as W

# the World with more answers in it
def pub.world.more(world: W.World, rs: List<&2, W.Reply>) -> W.World:
  W.World{paths, cwd, replies} = world
  W.World{paths, cwd, List.append(&2, W.Reply, replies, rs)}

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