lean_io_get_task_state_core

lean_sys::task

Function lean_io_get_task_state_core 

Source 
pub unsafe extern "C" fn lean_io_get_task_state_core(
    t: b_lean_obj_arg,
) -> u8
Expand description

primitive for implementing IO.getTaskState : Task a -> IO TaskState