Function lean_sys::task::lean_task_bind

source · [−]
pub unsafe fn lean_task_bind(
    x: lean_obj_arg,
    f: lean_obj_arg,
    prio: lean_obj_arg
) -> lean_obj_res
Expand description

Task.bind (x : Task A) (f : A -> Task B) (prio : Nat) : Task B