cudd_sys
pub unsafe extern "C" fn Cudd_SetEpsilon( dd: *mut DdManager, ep: CUDD_VALUE_TYPE) -> c_void