package vsrocq-language-server

  1. Overview
  2. Docs
package vsrocq-language-server
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Dm.DocumentEntriesSource

Sourcetype entries

Computes the shared folding and document-symbol entry tree.

Sourceval folding_ranges : entries -> Lsp.Types.FoldingRange.t list

Projects entries into LSP folding ranges.

Sourceval document_symbols : entries -> Lsp.Types.DocumentSymbol.t list

Projects entries into LSP document symbols.

Projects entries into document proof blocks.