Bolt.dispatch: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/main.bend as Bolt
Lines 24-32 of bolt@1.27.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/main.bend&start_line=24&end_line=32

import Base
import bolt@1.27.0.0/src/args.bend as Args
import bolt@1.27.0.0/src/lint.bend as Lint
import bolt@1.27.0.0/src/check.bend as Check
import bolt@1.27.0.0/src/lsp/run.bend as Lsp
import bolt@1.27.0.0/src/lsp/checker/bend.bend as BendChecker

# what a subcommand runs, over the files after it
def dispatch(cmd: Args.Cmd, paths: List<&2, String>) -> IO(Unit):  # noqa: L001 IO driver
  match cmd:
    case Args.CLint{}:
      Lint.run(paths)
    case Args.CCheck{}:
      Check.run(~BendChecker.service(), paths)
    case Args.CLsp{}:
      Lsp.run()

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  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/args.bend&name=Cmd
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/check.bend&name=run
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint.bend&name=run
  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/run.bend&name=run