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