Run.run: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/run.bend as Run
Lines 9-13 of bolt@1.27.0.0/src/lsp/run.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/run.bend&start_line=9&end_line=13

import Base
import bolt@1.27.0.0/src/lsp/server.bend as Server
import bolt@1.27.0.0/src/lsp/transport/stdio.bend as Stdio
import bolt@1.27.0.0/src/lsp/files/disk.bend as Disk
import bolt@1.27.0.0/src/lsp/checker/bend.bend as BendChecker

# the server over stdio, reading the disk
def run() -> IO(Unit):  # noqa: L001 IO entry point
  do IO<Unit>:
    h : Stdio.Stdio <- Stdio.open()
    Server.serve(~Stdio.Stdio, ~Stdio.new(), ~Disk.new(), ~BendChecker.service(), U32.to_nat(4294967295), h, [])

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.to_nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/bend.bend&name=service
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/files/disk.bend&name=new
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/server.bend&name=serve
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/transport/stdio.bend&name=Stdio
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/transport/stdio.bend&name=new
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/transport/stdio.bend&name=open