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.QueryManagerSource

Sourceval check : doc_id:int -> vs:Vernacstate.t -> pattern:string -> (Protocol.Printing.pp, Types.error) result
Sourceval locate : doc_id:int -> vs:Vernacstate.t -> pattern:string -> (Protocol.Printing.pp, Types.error) result
Sourceval print : doc_id:int -> vs:Vernacstate.t -> pattern:string -> (Protocol.Printing.pp, Types.error) result
Sourceval about : doc_id:int -> vs:Vernacstate.t -> pattern:string -> (Protocol.Printing.pp, Types.error) result

this one is a bit special since it crawls the document

Sourceval jump_to_definition : Document.document -> Vernacstate.t -> Lsp.Types.Position.t -> (Lsp.Types.Range.t * string) option
Sourceval get_completions : doc_id:int -> vs:Vernacstate.t -> CompletionItems.completion_item list