UseStore.lhs

         Using the abstract data type Store of stores of integers.			
                                                                
         (c) Simon Thompson, 1998.					


>       module UseStore where

>	import Store

Testing the exported definitions of the show and equality.					

>       exam1 = show initial

>       exam2 = (initial == initial) 

Can you check a Store against its representation? You need to uncomment
the definition before you use it.

>	-- checkAbs = (initial == Sto [])

A complex store.

> 	store3 = update (update (update initial 'a' 4) 'b' 5) 'a' 3

Show the store3.

>	exam3  = show store3 

Lookup 'a' in store3; can see that 'a' has the value 3 rather than 4.

>	exam4  = value store3 'a'