ORIGIN '~beta/basiclib/v1.4/betaenv';
[[--------------------------------------- 
	INCLUDE '~username/banksystem/lib/CPRnumber'
--------------------------------------- 
	INCLUDE '~beta/containers/v1.4/hashtable'
--------------------------------------- 
	INCLUDE '~beta/persistentstore/v1.4.2/persistentstore'
----------------------------------------

	lib : attributes
----------------------------------------
customer: 
(# 	CPR: @CPRnumber
	Name: @text;
	Address: @text;
	...
#);

account: 
(# 	AccountID: @integer;
	Balance: @real;
	...
#);


BankData: 
(#
	customers: @hashtable
	(# 	element::< customer;
		hashFunction::< (#  #)
	#);
	
	accounts: @hashtable
	(# 	element::< account;
		hashFunction::< (#  #)
	#);

#)

BankDatabase: persistentstore (# ... #);



-----]]