lean_sys::task

Function lean_task_spawn

Source 
pub unsafe fn lean_task_spawn(
    c: lean_obj_arg,
    prio: lean_obj_arg,
) -> lean_obj_res
Expand description

Run a closure Unit -> A as a Task A