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
val plugin_handler : (string list -> unit) option -> Mltop.PluginSpec.t -> unitplugin_handler user_loader Plugin loader that will also load the instrumentation plugins for serlib if those available. user_loader can be used to override the default of Fl_dynload.load_packages as loader.