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.
No autor