summaryrefslogtreecommitdiff
path: root/fp2/week6/mart/BinTree.dcl
diff options
context:
space:
mode:
authorMart Lubbers2015-05-29 14:50:30 +0200
committerMart Lubbers2015-05-29 14:50:30 +0200
commit1b073db9c8d3666bf4bd5615120d37eb881dab07 (patch)
tree11505d924371ad71f35ee576d0e5a21a9593ab1c /fp2/week6/mart/BinTree.dcl
parentMerge branch 'master' of github.com:dopefishh/fp1415 (diff)
hoi
Diffstat (limited to 'fp2/week6/mart/BinTree.dcl')
-rwxr-xr-xfp2/week6/mart/BinTree.dcl16
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