Function lean_task_map 

pub unsafe fn lean_task_map(
    f: lean_obj_arg,
    t: lean_obj_arg,
    sync: u8,
    prio: lean_obj_arg,
) -> lean_obj_res

Task.map (f : A -> B) (t : Task A) (prio : Nat) : Task B