Function cudd_sys::Cudd_zddSymmProfile

pub unsafe extern "C" fn Cudd_zddSymmProfile(
    table: *mut DdManager, 
    lower: c_int, 
    upper: c_int
) -> c_void