Я использую RocksDb в своем приложении, мой вопрос - как я могу удалить все ключи (очистить все данные в БД), я вижу, что там есть API-интерфейс DeleteRange, он требует указать начальную и конечную позиции, но, похоже, нет API для получения количества ключей.