(, node):
    node.left :
        node
    .minimum(node.left)

(, node):
    node.left :
        right_node = node.right
        node.right = .size -= right_node

    node.left = .remove_min(node.left)
    node
    (, key):
    node = .get_node(.root, key)
    node :
        .root = ._remove(.root, key)
        .root :
            .root.color = RBTree.BLACK
        node.value
    (, node, key):
    node :
        key < node.key:
        node.left = ._remove(node.left, key)
        ret_node = node
    key > node.key:
        node.right = ._remove(node.right, key)
        ret_node = node
    :
        node.left :
            right_node = node.right
            node.right = .size -= ret_node = right_node
        node.right :
            left_node = node.left
            node.left = .size -= ret_node = left_node
        :
            successor = .minimum(node.right)
            successor.right = .remove_min(node.right)
            successor.left = node.left

            node.left = node.right = ret_node = successor

    ._balance(ret_node)

(, node):
    .is_red(node.right) .is_red(node.left):
        node = .left_rotate(node)

    .is_red(node.left) .is_red(node.left.left):
        node = .right_rotate(node)

    .is_red(node.left) .is_red(node.right):
        .flip_colors(node)

    node

():
    (node):
        node :
            .is_red(node) (.is_red(node.left) .is_red(node.right)):
            left_black_height = check_properties(node.left)
        right_black_height = check_properties(node.right)
        left_black_height != right_black_height:
            left_black_height + (.is_red(node) )

    check_properties(.root) >

bobo老师好，我自己尝试写的红黑树删除函数，好像我尝试删除节点后，调用is_valid_rbtree检查是否是红黑树的时候会提示不是红黑树，请问问题出在哪呢？有没有红黑树删除节点的代码参考一下呢？