files/practicum/StdAVLTree.dcl


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