pub unsafe extern "C" fn Dddmp_cuddBddArrayStore(
ddMgr: *mut DdManager,
ddname: *mut c_char,
nRoots: c_int,
f: *mut *mut DdNode,
rootnames: *mut *mut c_char,
varnames: *mut *mut c_char,
auxids: *mut c_int,
mode: c_int,
varinfo: Dddmp_VarInfoType,
fname: *mut c_char,
fp: *mut FILE,
) -> c_int