Вызывает двоичный поиск по ключу (ключ забыл явно вторым аргументом указать). O(logN). Когда найдёт ключ, то вызывает функцию, и осуществляет операцию, которая этой функцией была подсказана, и либо оставляет дерево в покое, либо трансформирует текущую ноду.