pub unsafe extern "C" fn Cudd_ReadIthClause( tlc: *mut DdTlcInfo, i: c_int, var1: *mut DdHalfWord, var2: *mut DdHalfWord, phase1: *mut c_int, phase2: *mut c_int, ) -> c_int