Module Dkml_install_registerSource

Sourcetype install_direction =
  1. | Install
  2. | Uninstall
    (*

    Whether an installation is being installed or being uninstalled.

    *)
Sourcemodule Component_registry : sig ... end

The Component_registry is a global registry of all components that have been registered until now.