(defun double-rotate-left (node) (with-slots (right) node (setf right (single-rotate-right right)) (single-rotate-left node)))