Type Definition flint_sys::flint::thread_pool_handle

source · [−]
pub type thread_pool_handle = c_int;