Function Cudd_DumpFactoredForm 

pub unsafe extern "C" fn Cudd_DumpFactoredForm(
    dd: *mut DdManager,
    n: c_int,
    f: *mut *mut DdNode,
    inames: *const *const c_char,
    onames: *const *const c_char,
    fp: *mut FILE,
) -> c_int