Skip to main content

reinitialize

lean_ctx::core::context_kernel::startup

Function reinitialize 

Source 
pub fn reinitialize()
Expand description

Reloads Context Kernel configuration without changing startup state.