test_tree.ml

let t2 = Node {key=47; balance= -1;
        left=Node{key=29;balance= -1;
            left=Node {key=13;balance= -1;
                  left=Node {key=7;balance=0;left=Leaf;right=Leaf};
                  right=Leaf};
            right=Node {key=41; balance= 0; left=Leaf; right=Leaf}};
        right=Node{key=71;balance= -1;left=Node {key=57;balance=0;left=Leaf; right=Leaf;};right=Leaf}}

let t3 = Node {key=47; balance= -2;
        left=Node{key=29;balance= -2;
            left=Node {key=13;balance= -1;
                  left=Node {key=7;balance=0;
                      left=Node {key=3; balance=0; left=Leaf; right=Leaf};
                      right=Leaf};
                  right=Leaf};
            right=Node {key=41; balance= 0; left=Leaf; right=Leaf}};
        right=Node{key=71;balance= -1;left=Node {key=57;balance=0;left=Leaf; right=Leaf;};right=Leaf}}


let t4 = Node {key=47; balance= -2;
        left=Node{key=29;balance= -2;
            left=Node {key=13;balance= -1;
                  left=Node {key=7;balance=0;
                      left=Node {key=3; balance=0; left=Leaf; right=Leaf};
                      right=Leaf};
                  right=Leaf};
            right=Node {key=41; balance= 0;
                left=Leaf;
                right= Node {key=43; balance=0; left=Leaf; right=Leaf}}};
        right=Node{key=71;balance= -1;
              left=Node {key=57;balance=0;
                    left=Leaf; right=Leaf;};
                    right=Leaf}}