rbtree_rotate_left
rbtree_rotate_left(rbtree, node);
rbtree_rotate_left(rbtree, node->parent->parent);
else rbtree_rotate_left(rbtree, child_parent);
rbtree_rotate_left(rbtree, sibling);
rbtree_rotate_left(rbtree, child_parent);
static void rbtree_rotate_left(rbtree_type *rbtree, rbnode_type *node);
rbtree_rotate_left(rbtree, node);
rbtree_rotate_left(rbtree, node->parent->parent);
static void rbtree_rotate_left(rbtree_type *rbtree, rbnode_type *node);
else rbtree_rotate_left(rbtree, child_parent);
rbtree_rotate_left(rbtree, sibling);
rbtree_rotate_left(rbtree, child_parent);
rbtree_rotate_left(rbtree, node);
rbtree_rotate_left(rbtree, node->parent->parent);
else rbtree_rotate_left(rbtree, child_parent);
rbtree_rotate_left(rbtree, sibling);
rbtree_rotate_left(rbtree, child_parent);
static void rbtree_rotate_left(rbtree_type *rbtree, rbnode_type *node);