diff options
Diffstat (limited to 'files/practicum/BinTree.dcl')
| -rw-r--r-- | files/practicum/BinTree.dcl | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/files/practicum/BinTree.dcl b/files/practicum/BinTree.dcl new file mode 100644 index 0000000..3b5e444 --- /dev/null +++ b/files/practicum/BinTree.dcl @@ -0,0 +1,16 @@ +definition module BinTree
+
+:: Tree a = Node a (Tree a) (Tree a) | Leaf
+
+t0 :: Tree Int
+t1 :: Tree Int
+t2 :: Tree Int
+t3 :: Tree Int
+t4 :: Tree Int
+t5 :: Tree Int
+t6 :: Tree Int
+t7 :: Tree Int
+
+nodes :: // meest algemene type
+leaves :: // meest algemene type
+diepte :: // meest algemene type
|