pub unsafe extern "C" fn Cudd_ReorderingStatusZdd( unique: *mut DdManager, method: *mut Cudd_ReorderingType, ) -> c_int