Docs.set_checked: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/docs.bend as Docs
Lines 51-59 of bolt@1.27.0.0/src/lsp/docs.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/docs.bend&start_line=51&end_line=59

import Base
import bolt@1.27.0.0/src/lsp/report.bend as Rep
import bolt@1.27.0.0/src/role.bend as Role

# a document's errors set, from a run of the checker, with the marks read
# beside it
def set_checked(
  +docs: List<&2, Doc>,
  +uri: String,
  errors: List<&2, Rep.Diag>,
  ms: List<&2, Role.Mark>
) -> List<&2, Doc>:
  Doc{uri, Maybe.default(&2, String, get(docs, uri), ""), errors, ms} <> del(docs, uri)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.default
  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/docs.bend&name=Doc
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/docs.bend&name=del
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/docs.bend&name=get
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/report.bend&name=Diag
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/role.bend&name=Mark