pub type lean_task_object = lean_task;Aliased Type§
#[repr(C)]pub struct lean_task_object {
pub m_header: lean_object,
pub m_value: u64,
pub m_imp: *mut lean_task_imp,
}Fields§
§m_header: lean_object§m_value: u64§m_imp: *mut lean_task_imp