Module Dkml_install_register

module Component_registry : sig ... end

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