package vscoq-language-server

You can search for identifiers within the package.

in-package search v0.2.0

Module `Client.StepBackwardParams`Source

Sourcetype t = {

textDocument : Lsp.Types.VersionedTextDocumentIdentifier.t;
position : LspWrapper.Position.t option;

}

Sourceval t_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> t

Sourceval yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t