pub unsafe extern "C" fn Cudd_SubsetShortPaths( dd: *mut DdManager, f: *mut DdNode, numVars: c_int, threshold: c_int, hardlimit: c_int, ) -> *mut DdNode