Function lean_sys::task::lean_task_get

source · [−]
pub unsafe extern "C" fn lean_task_get(
    t: b_lean_obj_arg
) -> lean_obj_res