cudd_sys
pub unsafe extern "C" fn Cudd_addOuterSum( dd: *mut DdManager, M: *mut DdNode, r: *mut DdNode, c: *mut DdNode) -> *mut DdNode