package vscoq-language-server

  1. Overview
  2. Docs
type t = {
  1. proof : ProofState.t option;
  2. messages : (LspWrapper.DiagnosticSeverity.t * Printing.pp) list;
}
val t_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> t
val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t
OCaml

Innovation. Community. Security.