Check.run: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/check.bend as Check
Lines 113-118 of bolt@1.27.0.0/src/check.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/check.bend&start_line=113&end_line=118

import Base
import bolt@1.27.0.0/src/lsp/checker/answer.bend as Checker

# the checker over the files given, exiting 1 when any of them had an error
# (main passes checker/bend.bend's service)
def run(~ck: Checker.Checker, paths: List<&2, String>) -> IO(Unit):  # noqa: L001 IO driver
  do IO<Unit>:
    runs : List<&2, Run> <- check_all(~ck, paths)
    perform(out(runs))

Uses (10):
  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=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/check.bend&name=Run
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/check.bend&name=check_all
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/check.bend&name=out
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/check.bend&name=perform
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/answer.bend&name=Checker