package vscoq-language-server

  1. Overview
  2. Docs
VSCoq language server

Install

Dune Dependency

Authors

Maintainers

Sources

vscoq-language-server-2.2.5.tar.gz
md5=8bc848aaf2ad0fe41a02741e633ad7e3
sha512=eb6c80a3290b1d688ea3b94a3087f204c9f9f03bddd95b21952b02af1dc4de073c1b99baed5a5f6a395e69a27c0d45f6ec181488da62e9f5c6a77d91d752dd5c

doc/vscoq-language-server.lsp/Protocol/ProofState/index.html

Module Protocol.ProofStateSource

Sourcetype proof_statement
Sourceval yojson_of_proof_statement : proof_statement -> Ppx_yojson_conv_lib.Yojson.Safe.t
Sourceval proof_statement_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> proof_statement
Sourcetype proof_step
Sourcetype proof_block
Sourcetype t
include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
Sourceval t_of_yojson : Yojson.Safe.t -> t
Sourceval yojson_of_t : t -> Yojson.Safe.t
Sourceval get_proof : previous:Vernacstate.t option -> Settings.Goals.Diff.Mode.t -> Vernacstate.t -> t option
Sourceval mk_proof_statement : string -> Lsp.Types.Range.t -> proof_statement
Sourceval mk_proof_step : string -> Lsp.Types.Range.t -> proof_step
OCaml

Innovation. Community. Security.