pub unsafe extern "C" fn Cudd_ReduceHeap( table: *mut DdManager, heuristic: Cudd_ReorderingType, minsize: c_int, ) -> c_int