code: def rotate_left(self):
          
  
          right = self.right
          new = self._replace(right=self.right.left, red=True)
          top = right._replace(left=new, red=self.red)
          return top
docs: Rotate the node to the left.