Function Cudd_zddCoverPathToString 

pub unsafe extern "C" fn Cudd_zddCoverPathToString(
    zdd: *mut DdManager,
    path: *mut c_int,
    str: *mut c_char,
) -> *mut c_char