: (balance '*Tree1 (range 1 7))
-> NIL
: (for N (5 4 6 3 7 1 2) (idx '*Tree2 N T))
: (view *Tree1 T)
7
6
5
4
3
2
1
: (view *Tree2 T)
: (cmpTrees *Tree1 *Tree2)
-> T