package coq-serapi

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val plugin_handler : (string list -> unit) option -> Mltop.PluginSpec.t -> unit

plugin_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.

OCaml

Innovation. Community. Security.