summaryrefslogtreecommitdiff
path: root/files/practicum/StdAVLTree.dcl
blob: 68d2acdc9b8a601ac5730987cd1456a5d6c649a2 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
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