--- /dev/null
+definition module BinTree\r
+\r
+:: BTree a = BNode a (BTree a) (BTree a) | BLeaf\r
+\r
+t0 :: BTree Int\r
+t1 :: BTree Int\r
+t2 :: BTree Int\r
+t3 :: BTree Int\r
+t4 :: BTree Int\r
+t5 :: BTree Int\r
+t6 :: BTree Int\r
+t7 :: BTree Int\r
+\r
+//nodes :: // meest algemene type\r
+//leaves :: // meest algemene type\r
+//diepte :: // meest algemene type\r