Skip to main content

lean_finalize_thread

lean_rs_sys::init

Function lean_finalize_thread 

Source 
pub unsafe extern "C" fn lean_finalize_thread()
Expand description

Detach the current OS thread from the Lean runtime.