AA with complex keytype?

[Manfred Nowak]

Frits van Bommel wrote

> you must always do compare(a, b), never compare(b, a)

No. Because if you are at a node in the tree where a==b, you are done. 
And if you are at a node in the tree where a!=b, you will go into the 
direction dictated by opCmp, which is by construction of opCmp the same 
for all permutations.
This holds for all operations on the tree. 

-manfred