Type Definition flint_sys::flint::thread_pool_handle

source · 
pub type thread_pool_handle = c_int;