files/practicum/Map.dcl


1
2
3
4
5
6
7
8
9
10

definition module Map

import BinTree		// voor het type Tree en voorbeelden t0 t/m t7
import Maybe        // voor het type Maybe

class Map c :: ...	// exporteer deze type constructor class definitie

instance Map []
instance Map Maybe
instance Map Tree