pub unsafe extern "C" fn Dddmp_cuddBddArrayStoreCnf(
ddMgr: *mut DdManager,
f: *mut *mut DdNode,
rootN: c_int,
mode: Dddmp_DecompCnfStoreType,
noHeader: c_int,
varNames: *mut *mut c_char,
bddIds: *mut c_int,
bddAuxIds: *mut c_int,
cnfIds: *mut c_int,
idInitial: c_int,
edgeInTh: c_int,
pathLengthTh: c_int,
fname: *mut c_char,
fp: *mut FILE,
clauseNPtr: *mut c_int,
varNewNPtr: *mut c_int,
) -> c_int