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/BinTree.dcl | |
parent | Merge branch 'master' of github.com:dopefishh/fp1415 (diff) |
hoi
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
|