Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type coq_opts = {fb_handler : Feedback.feedback -> unit;(*callback to handle async feedback
*)load_module : string -> unit;(*callback to load cma/cmo files
*)load_plugin : Mltop.PluginSpec.t -> unit;(*callback to load findlib packages
*)debug : bool;(*Enable Coq Debug mode
*)
}val doc_init :
root_state:State.t ->
vo_load_path:Loadpath.vo_path list ->
ml_include_path:string list ->
libname:Names.DirPath.t ->
require_libs:
(string * string option * Vernacexpr.export_with_cats option) list ->
State.t