Function SCIPsortedvecDelPosDownInt 

pub unsafe extern "C" fn SCIPsortedvecDelPosDownInt(
    intarray: *mut c_int,
    pos: c_int,
    len: *mut c_int,
)

delete the element at the given position from an array of ints in non-increasing order