Bend.checked: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/checker/bend.bend as Bend
Lines 41-43 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=41&end_line=43

import Base
import bolt@1.27.0.0/src/lsp/checker/answer.bend as S
import bolt@1.27.0.0/src/lsp/checker/argv.bend as Argv
import bolt@1.27.0.0/src/lsp/report.bend as Rep

# the diagnostics of a run, settled by the run that follows it
def checked(+ds: List<&2, Rep.Diag>, +path: String) -> IO(S.Answer):  # noqa: L001 checker effect
  settle(Argv.followup(ds, path), ds)

Uses (7):
  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=bolt@1.27.0.0/src/lsp/checker/answer.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/argv.bend&name=followup
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/checker/bend.bend&name=settle
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=Diag