Changes in src/tests/avltree/avl.h [142cf5d:627f585]

File:

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

src/tests/avltree/avl.h

@@ -61 +61 @@
 void ?{}(tree(K, V) *t, K key, V value);
 
-forall(otype K, otype V)
+forall(otype K | Comparable(K), otype V)
 void ^?{}(tree(K, V) * t);