cudd_sys
pub unsafe extern "C" fn Cudd_Eval( dd: *mut DdManager, f: *mut DdNode, inputs: *mut c_int) -> *mut DdNode