DocumentEntries (p.vsrocq-language-server.2.5.0.doc.vsrocq-language-server.dm.Dm.DocumentEntries)

Sourcetype entries

Sourceval entries : Document.document -> 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.

val proof_blocks : 
  Document.document ->
  entries ->
  Protocol.ProofState.proof_block list

Projects entries into document proof blocks.