vscoq-language-server.dm
Document.Internal
vscoq-language-server.language
vscoq-language-server.lsp
val string_of_sentence : sentence -> string
val string_of_item : code_line -> string