summaryrefslogtreecommitdiff
path: root/files/practicum/StdAVLTree.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'files/practicum/StdAVLTree.dcl')
-rw-r--r--files/practicum/StdAVLTree.dcl12
1 files changed, 12 insertions, 0 deletions
diff --git a/files/practicum/StdAVLTree.dcl b/files/practicum/StdAVLTree.dcl
new file mode 100644
index 0000000..68d2acd
--- /dev/null
+++ b/files/practicum/StdAVLTree.dcl
@@ -0,0 +1,12 @@
+definition module StdAVLTree
+
+import StdClass
+
+:: AVLTree a
+
+mkAVLLeaf :: AVLTree a
+mkAVLNode :: a -> AVLTree a
+isMemberAVLTree :: a (AVLTree a) -> Bool | Eq, Ord a
+insertAVLTree :: a (AVLTree a) -> AVLTree a | Eq, Ord a
+deleteAVLTree :: a (AVLTree a) -> AVLTree a | Eq, Ord a
+isAVLTree :: (AVLTree a) -> Bool | Eq, Ord a