Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package vscoq-language-server
Module Notification.ServerSource
Source
type t = | Std of Lsp.Server_notification.t| UpdateHighlights of LspWrapper.overview| MoveCursor of MoveCursorParams.t| ProofView of ProofViewParams.t| SearchResult of LspWrapper.query_result