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