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

import Base

# a document's text set (opened, or changed); its errors and marks stay
def set(+docs: List<&2, Doc>, +uri: String, text: String) -> List<&2, Doc>:
  Doc{uri, text, errors(docs, uri), marks(docs, uri)} <> del(docs, 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=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=errors
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/docs.bend&name=marks