Up – Package index » vscoq-language-server » Library vscoq-language-server.dm » Dm » Document » Internal

Module `Document.Internal`Source

vscoq-language-server
- README
- Library vscoq-language-server.dm
  - Dm
- Library vscoq-language-server.language
  - Language
- Library vscoq-language-server.lsp
  - Protocol
- Sources

Sourceval string_of_sentence : sentence -> string