Function cudd_sys::Cudd_addBddInterval

pub unsafe extern "C" fn Cudd_addBddInterval(
    dd: *mut DdManager, 
    f: *mut DdNode, 
    lower: CUDD_VALUE_TYPE, 
    upper: CUDD_VALUE_TYPE
) -> *mut DdNode