diff options
Diffstat (limited to 'files/practicum/StdAVLTree.icl')
| -rw-r--r-- | files/practicum/StdAVLTree.icl | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/files/practicum/StdAVLTree.icl b/files/practicum/StdAVLTree.icl new file mode 100644 index 0000000..741c936 --- /dev/null +++ b/files/practicum/StdAVLTree.icl @@ -0,0 +1,23 @@ +implementation module StdAVLTree
+
+import StdEnv
+
+:: AVLTree a = ...
+
+mkAVLLeaf :: AVLTree a
+mkAVLLeaf ...
+
+mkAVLNode :: a -> AVLTree a
+mkAVLNode ...
+
+isMemberAVLTree :: a (AVLTree a) -> Bool | Eq, Ord a
+isMemberAVLTree ...
+
+insertAVLTree :: a (AVLTree a) -> AVLTree a | Eq, Ord a
+insertAVLTree ...
+
+deleteAVLTree :: a (AVLTree a) -> AVLTree a | Eq, Ord a
+deleteAVLTree ...
+
+isAVLTree :: (AVLTree a) -> Bool | Eq, Ord a
+isAVLTree ...
|