def load
import bolt@1.27.0.0/src/lsp/nav.bend as Navimport Base
import bolt@1.27.0.0/src/lsp/files/service.bend as F
import bolt@1.27.0.0/src/lsp/docs.bend as Docs
40# a document's text: the open one, or the file's; "" when there is neither
41def load(~fs: F.Files, docs: List<&2, Docs.Doc>, uri: String, path: String) -> IO(String):
42 load.miss(~fs, Docs.get(docs, uri), path)