pub unsafe extern "C" fn Cudd_BiasedOverApprox( dd: *mut DdManager, f: *mut DdNode, b: *mut DdNode, numVars: c_int, threshold: c_int, quality1: f64, quality0: f64, ) -> *mut DdNode