Function lean_sys::task::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