note description: "Summary description for {BANK}." author: "" date: "$Date$" revision: "$Revision$" class interface BANK create make feature account1: ACCOUNT account2: ACCOUNT invariant account1 /= Void account2 /= Void end -- class BANK
Generated by ISE EiffelStudio