files/practicum/StdAVLTree.icl

   1 implementation module StdAVLTree
   2
   3 import StdEnv
   4
   5 ::      AVLTree  a = ...
   6
   7 mkAVLLeaf :: AVLTree a
   8 mkAVLLeaf ...
   9
  10 mkAVLNode :: a -> AVLTree a
  11 mkAVLNode ...
  12
  13 isMemberAVLTree :: a (AVLTree a) -> Bool | Eq, Ord a
  14 isMemberAVLTree ...
  15
  16 insertAVLTree :: a (AVLTree a) -> AVLTree a | Eq, Ord a
  17 insertAVLTree ...
  18
  19 deleteAVLTree :: a (AVLTree a) -> AVLTree a     | Eq, Ord a
  20 deleteAVLTree ...
  21
  22 isAVLTree :: (AVLTree a) -> Bool | Eq, Ord a
  23 isAVLTree ...