cudd_sys
pub unsafe extern "C" fn Cudd_zddUnion( dd: *mut DdManager, P: *mut DdNode, Q: *mut DdNode) -> *mut DdNode