Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Interface to the plugin subsystem.
module Plugin : sig ... end
Plugin - a loadable self-contained piece of code.
module Plugins : sig ... end
Plugin loader.
list_loaded_units ()
evaluates to a list of compilation unit names currently loaded into the system. The list includes both, units loaded dynamically, and those that were statically linked into the host program.