Type Alias lean_sys::lean_task_object

source · 
pub type lean_task_object = lean_task;

Aliased Type§

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