def launch

bolt@1.27.0.0 · src/lsp/checker/bend.bend:24

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

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