package coq-lsp

  1. Overview
  2. Docs
type t = {
  1. textDocument : Doc.VersionedTextDocument.t;
  2. position : Lang.Point.t;
  3. goals : string JCoq.Goals.reified_goal JCoq.Goals.goals option;
  4. messages : string Message.t list;
  5. error : string option;
}
val to_yojson : t -> Yojson.Safe.t
OCaml

Innovation. Community. Security.