Function lean_sys::task::lean_task_map_core

pub unsafe extern "C" fn lean_task_map_core(
    f: lean_obj_arg,
    t: lean_obj_arg,
    prio: c_uint,
    keep_alive: bool
) -> lean_obj_res