files/practicum/BinTree.dcl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

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