summaryrefslogtreecommitdiff
path: root/files/practicum/StdAVLTree.icl
blob: 741c936815811150a49acadd4a7b7777597e993e (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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 ...