package coq-lsp

  1. Overview
  2. Docs

Module Core.CodeActionSource

Sourcetype t = {
  1. title : string;
  2. kind : string option;
  3. diagnostics : Lang.Diagnostic.t list;
  4. isPreferred : bool option;
  5. edit : Workspace.WorkspaceEdit.t option;
}
Sourceval to_yojson : t -> Yojson.Safe.t