**fig4_42.txt**

/* 1*/	// This procedure can only be called if k3 has a left child.
/* 2*/	// And k3's left child has a right child.
/* 3*/	// Do the left-right double rotation.

/* 4*/	template <class Etype>
/* 5*/	void
/* 6*/	D_Rotate_Left( Avl_Node<Etype> * & k3 )
/* 7*/	{
/* 8*/	    S_Rotate_Right( ( Avl_Node<Etype> * & ) k3->Left );
/* 9*/	    S_Rotate_Left( k3 );
/*10*/	}