Changes in tests/avltree/avl-private.h [fd54fef:bf71cfd]

File:

• tests/avltree/avl-private.h (modified) (1 diff)

tests/avltree/avl-private.h

@@ -5 +5 @@
 
 // attempt to fix the tree, if necessary
-forall(K | Comparable(K), V)
+forall(otype K | Comparable(K), otype V)
 tree(K, V) * tryFix(tree(K, V) * t);
 
 // sets parent field of c to be p
-forall(K | Comparable(K), V)
+forall(otype K | Comparable(K), otype V)
 void setParent(tree(K, V) * c, tree(K, V) * p);
 
-forall(K | Comparable(K), V)
+forall(otype K | Comparable(K), otype V)
 int height(tree(K, V) * t);