SEPARATE (AVL_Trees_Generic)
PROCEDURE Rotate_LR(T: IN OUT Tree) IS
------------------------------------------------------------------------
--| Left-Right Rotation in an AVL Tree  
--| Author: Michael B. Feldman, The George Washington University 
--| Last Modified: January 1996                                     
------------------------------------------------------------------------
BEGIN
  Rotate_L(T.Right);
  Rotate_R(T);
END Rotate_LR;