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 ->
workspace:Workspace.t ->
uri:string ->
(State.t, Loc.t) Protect.E.t