Skip to main content

Module registry

lean_ctx::core::plugins

Module registry 

Source

Structs§

DiscoveryError
Plugin
PluginRegistry

Enums§

RegistryError

Functions§

default_plugin_dir
The directory the registry scans for plugin sub-directories.