Skip to main content

effective_config

lean_ctx::core::context_kernel::config_bridge

Function effective_config 

Source 
pub fn effective_config() -> (KernelFeatures, ConfigSource)
Expand description

Returns the effective kernel features and their detected source.