Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Coq.Loader
Sourceplugin_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.