UseStoreFun.lhs

         Using an abstract data type StoreFun of stores of integers.			
                                                                
         (c) Simon Thompson, 1998.					


>       module UseStoreFun where

>	import StoreFun

A complex store.

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

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

>	find  = value store 'a'