def rotate_left(self):
        """
        Rotate the node to the left.
        """

        right = self.right
        new = self._replace(right=self.right.left, red=True)
        top = right._replace(left=new, red=self.red)
        return top
Rotate the node to the left.