Function cudd_sys::Cudd_addConst

pub unsafe extern "C" fn Cudd_addConst(
    dd: *mut DdManager, 
    c: CUDD_VALUE_TYPE
) -> *mut DdNode