Function lean_initialize_locked

src/init.rs:50–53

A helper function to call [`lean_initialize`] while holding the [`LEAN_INIT_MUTEX`]./// This is equivalent to writing ```rust # use lean_sys::*; unsafe { let guard = LEAN_INIT_MUTEX.lock(); lean_initialize(); } ``` TODO: is this safe?

()

/// ```
//TODO: is this safe?
pub unsafe fn lean_initialize_locked() {
    let _guard = LEAN_INIT_MUTEX.lock();
    lean_initialize();
}

extern "C" {
    pub fn lean_initialize_runtime_module();