fp2/week6/mart/BinTree.dcl


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