Bend.launch: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/checker/bend.bend as Bend
Lines 24-28 of bolt@1.27.0.0/src/lsp/checker/bend.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/checker/bend.bend&start_line=24&end_line=28

import Base
import bolt@1.27.0.0/src/lsp/checker/argv.bend as Argv

# what a run of bend answered, tag first; every run is argv.bend's, so it
# checks and never runs main
def launch(rr: Argv.Run) -> IO(String):  # noqa: L001 checker effect
  Argv.Run{path, flag} = rr
  bendcheck.exec(path, flag)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/argv.bend&name=Run
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/bend.bend&name=bendcheck.exec