Function cudd_sys::Cudd_CubeArrayToBdd

pub unsafe extern "C" fn Cudd_CubeArrayToBdd(
    dd: *mut DdManager, 
    array: *mut c_int
) -> *mut DdNode