diff options
Diffstat (limited to 'fp2/week6/mart/BinTree.dcl')
| -rwxr-xr-x | fp2/week6/mart/BinTree.dcl | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/fp2/week6/mart/BinTree.dcl b/fp2/week6/mart/BinTree.dcl new file mode 100755 index 0000000..93d8ed8 --- /dev/null +++ b/fp2/week6/mart/BinTree.dcl @@ -0,0 +1,16 @@ +definition module BinTree
+
+:: BTree a = BNode a (BTree a) (BTree a) | BLeaf
+
+t0 :: BTree Int
+t1 :: BTree Int
+t2 :: BTree Int
+t3 :: BTree Int
+t4 :: BTree Int
+t5 :: BTree Int
+t6 :: BTree Int
+t7 :: BTree Int
+
+//nodes :: // meest algemene type
+//leaves :: // meest algemene type
+//diepte :: // meest algemene type
|