note
	description: "Summary description for {BANK}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class 
	BANK

create 
	make

feature {NONE} 

	make
			-- two accounts
		do
			create account1.make
			create account2.make
		end
	
feature 

	account1: ACCOUNT

	account2: ACCOUNT
	
invariant
		account1 /= Void
		account2 /= Void

end -- class BANK

Generated by ISE EiffelStudio