ORIGIN '~beta/basiclib/v1.4/betaenv';
[[--------------------------------------- 
	INCLUDE '~username/banksystem/interface/report'
--------------------------------------- 
	INCLUDE '~username/banksystem/bankModel'
--------------------------------------- 
	lib : attributes
----------------------------------------
bankFunctionality:
(#

(* Functions *)

updateAccount: (# #);

updateCustomer: (# #);

signalNegativeBalance: (# #);

printCustomersWithNegativeBalance: report
(#  do  
#);

init:< (# do .... INNER; ...  #);

(* Private *)

theBankData: ^bankData;

theBankDatabase: @bankDatabase;

#);

-----]]