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 Client.InterpretToPointParamsSource
Source
type t = {textDocument : Lsp.Types.VersionedTextDocumentIdentifier.t;position : LspWrapper.Position.t;
}