cudd_sys
pub unsafe extern "C" fn Cudd_Disequality( dd: *mut DdManager, N: c_int, c: c_int, x: *mut *mut DdNode, y: *mut *mut DdNode) -> *mut DdNode