Function lean_task_bind_core 

pub unsafe extern "C" fn lean_task_bind_core(
    x: lean_obj_arg,
    f: lean_obj_arg,
    prio: c_uint,
    sync: bool,
    keep_alive: bool,
) -> lean_obj_res