pub unsafe extern "C" fn SCIPvarIsHashkeyEq( userptr: *mut c_void, key1: *mut c_void, key2: *mut c_void, ) -> c_uint
returns TRUE iff the indices of both variables are equal