pub unsafe extern "C" fn Cudd_addGeneralVectorCompose( dd: *mut DdManager, f: *mut DdNode, vectorOn: *mut *mut DdNode, vectorOff: *mut *mut DdNode, ) -> *mut DdNode