Double left rotation
rrot( t^.right ); lrot( t );
Pascal
source (3418.drot.p)
©
Addison-Wesley
Publishing Co. Inc.