package vscoq-language-server

  1. Overview
  2. Docs
module DelegationMode : sig ... end
module Mode : sig ... end
module PointInterpretationMode : sig ... end
module Memory : sig ... end
module Proof : sig ... end
module Goals : sig ... end
module Completion : sig ... end
module Diagnostics : sig ... end
type t = {
  1. proof : Proof.t;
  2. goals : Goals.t;
  3. completion : Completion.t;
  4. diagnostics : Diagnostics.t;
  5. memory : Memory.t;
}
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.