128       Node *Left = nullptr, *Right = nullptr;  member
171       N->Height = 1 + std::max(height(N->Left), height(N->Right));  in update()
174       if (N->Right)  in update()
175         N->MaxEnd = std::max(N->MaxEnd, N->Right->MaxEnd);  in update()
180       int32_t Balance = height(N->Right) - height(N->Left);  in rebalance()
184         return rotateLeft(N->Right, N);  in rebalance()
592   dbgs() << "  Right: " << N->Right << "\n\n";  in dump()
596   if (N->Right)  in dump()
597     dump(N->Right);  in dump()
606   order(N->Right, Seq);  in order()
617     nodesWith(N->Right, P, CheckA, Seq);  in nodesWith()
633     N->Right = add(N->Right, R);  in add()
645       N->Right = remove(N->Right, D);  in remove()
651   if (N->Left == nullptr || N->Right == nullptr)  in remove()
652     return (N->Left == nullptr) ? N->Right : N->Left;  in remove()
657   while (M->Right)  in remove()
658     M = M->Right;  in remove()
660   M->Right = N->Right;  in remove()
665   assert(Higher->Right == Lower);  in rotateLeft()
669   if (height(Lower->Left) > height(Lower->Right))  in rotateLeft()
671   assert(height(Lower->Left) <= height(Lower->Right));  in rotateLeft()
672   Higher->Right = Lower->Left;  in rotateLeft()
684   if (height(Lower->Left) < height(Lower->Right))  in rotateRight()
685     Lower = rotateLeft(Lower->Right, Lower);  in rotateRight()
686   assert(height(Lower->Left) >= height(Lower->Right));  in rotateRight()
687   Higher->Left = Lower->Right;  in rotateRight()
689   Lower->Right = Higher;  in rotateRight()