pub unsafe extern "C" fn Cudd_addMatrixMultiply( dd: *mut DdManager, A: *mut DdNode, B: *mut DdNode, z: *mut *mut DdNode, nz: c_int, ) -> *mut DdNode