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