pub unsafe extern "C" fn Cudd_CubeArrayToBdd( dd: *mut DdManager, array: *mut c_int, ) -> *mut DdNode