cudd_sys
pub unsafe extern "C" fn Cudd_zddIsop( dd: *mut DdManager, L: *mut DdNode, U: *mut DdNode, zdd_I: *mut *mut DdNode) -> *mut DdNode