NAME

SYNOPSYS

 Init():Void
 OpenAccount(n:AccId,h:AccHolder-set,m:Amount):Void
 RemoAccount(n:AccId):Void
 AddAccHolders(n:AccId,h:AccHolder-set):Void
 Credit(n:AccId,m:Amount):Void
 Withdraw(n:AccId,m:Amount):Void
 GoodCostumers(m:Amount):AccHolder-set
 Init7():Void
 OpenAccount7(n:AccId,h:AccHolder-set,m:Amount):Void
 RemoAccount7(n:AccId):Void
 Withdraw7(n:AccId,m:Amount):Void
 AddAccHolders7(n:AccId,h:AccHolder-set):Void
 Credit7(n:AccId,m:Amount):Void
 GoodCostumers7(m:Amount):AccHolder-set

DESCRIPTION

The informal semantics of the operators are as follows:

Init():Void
-----------------------------------------------------------------------------

OpenAccount(n:AccId,h:AccHolder-set,m:Amount):Void
-----------------------------------------------------------------------------

RemoAccount(n:AccId):Void
-----------------------------------------------------------------------------

AddAccHolders(n:AccId,h:AccHolder-set):Void
-----------------------------------------------------------------------------

Credit(n:AccId,m:Amount):Void
-----------------------------------------------------------------------------

Withdraw(n:AccId,m:Amount):Void
-----------------------------------------------------------------------------

GoodCostumers(m:Amount):AccHolder-set
-----------------------------------------------------------------------------

Init7():Void
-----------------------------------------------------------------------------

OpenAccount7(n:AccId,h:AccHolder-set,m:Amount):Void
-----------------------------------------------------------------------------

RemoAccount7(n:AccId):Void
-----------------------------------------------------------------------------

Withdraw7(n:AccId,m:Amount):Void
-----------------------------------------------------------------------------

AddAccHolders7(n:AccId,h:AccHolder-set):Void
-----------------------------------------------------------------------------

Credit7(n:AccId,m:Amount):Void
-----------------------------------------------------------------------------

GoodCostumers7(m:Amount):AccHolder-set
-----------------------------------------------------------------------------

SEE ALSO

Manual(s) of io.cam sets.cam ffs.cam txt.cam sql.cam.

AUTHOR

No autor