diff options
| author | Mart Lubbers | 2015-05-29 14:50:30 +0200 |
|---|---|---|
| committer | Mart Lubbers | 2015-05-29 14:50:30 +0200 |
| commit | 1b073db9c8d3666bf4bd5615120d37eb881dab07 (patch) | |
| tree | 11505d924371ad71f35ee576d0e5a21a9593ab1c /fp2/week6/mart/BinSearchTree.dcl | |
| parent | Merge branch 'master' of github.com:dopefishh/fp1415 (diff) | |
hoi
Diffstat (limited to 'fp2/week6/mart/BinSearchTree.dcl')
| -rwxr-xr-x | fp2/week6/mart/BinSearchTree.dcl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/fp2/week6/mart/BinSearchTree.dcl b/fp2/week6/mart/BinSearchTree.dcl new file mode 100755 index 0000000..460dcf1 --- /dev/null +++ b/fp2/week6/mart/BinSearchTree.dcl @@ -0,0 +1,8 @@ +definition module BinSearchTree
+
+import StdClass
+import BinTree
+
+is_geordend :: (BTree a) -> Bool | Ord a // meest algemene type
+is_gebalanceerd :: (BTree a) -> Bool | Ord a // meest algemene type
+insertTree :: a (BTree a) -> BTree a | Ord a
\ No newline at end of file |