Function lean_task_bind 

pub unsafe fn lean_task_bind(
    x: lean_obj_arg,
    f: lean_obj_arg,
    sync: u8,
    prio: lean_obj_arg,
) -> lean_obj_res

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