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
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
-
-----------------------------------------------------------------------------
Manual(s) of io.cam sets.cam ffs.cam txt.cam sql.cam.