Function elina_interval_array_free 

pub unsafe extern "C" fn elina_interval_array_free(
    array: *mut *mut elina_interval_t,
    size: size_t,
)