pub unsafe extern "C" fn Cudd_RegisterTimeoutHandler( unique: *mut DdManager, handler: Option<DD_TIME_OUT_HANDLER>, arg: *mut c_void, ) -> c_void