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