Function lean_sys::init::lean_initialize_locked

pub unsafe fn lean_initialize_locked()

A helper function to call lean_initialize while holding the LEAN_INIT_MUTEX./// This is equivalent to writing

unsafe {
    let guard = LEAN_INIT_MUTEX.lock();
    lean_initialize();
}