summaryrefslogtreecommitdiff
path: root/fp2/week6/camil/BinTree.dcl
blob: e8b17000279280a25a7949add91f093540443ac0 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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