Docs.errors: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/docs.bend as Docs
Lines 23-29 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=23&end_line=29

import Base
import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy
import bolt@1.27.0.0/src/lsp/report.bend as Rep

# the checker's errors for a document, none when it is not open
def errors(docs: List<&2, Doc>, +uri: String) -> List<&2, Rep.Diag>:
  match docs:
    case Nil{}:
      Nil{}
    case Con{Doc{u, t, e, m}, r}:
      Lazy.stop(List<&2, Rep.Diag>, String.eq(u, uri), e, _u => errors(r, uri))

Uses (6):
  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=String.eq
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=stop
  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/report.bend&name=Diag