Docs.Doc: type of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/docs.bend as Docs
Lines 9-12 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=9&end_line=12

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

# an open document: its URI, the text the editor shows, the checker's errors
# from its last run, and the role marks read with them
type Doc is Data:
  Doc{uri: String, text: String, errors: List<&2, Rep.Diag>, marks: List<&2, Role.Mark>}

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