Explode(k:Equip):Comp -> NAT
CompCost(k:Equip,n:NAT):Comp -> NAT
explode(k:Equip,db:EquipDb):Comp -> NAT
Init():SYM
Explode7(k:Equip):Comp -> NAT
Init7():SYM
CompCost7(k:Equip,n:NAT):Comp -> NAT
The informal semantics of the operators are as follows:
- Explode(k:Equip):Comp -> NAT
-
-----------------------------------------------------------------------------
- CompCost(k:Equip,n:NAT):Comp -> NAT
-
-----------------------------------------------------------------------------
- explode(k:Equip,db:EquipDb):Comp -> NAT
-
-----------------------------------------------------------------------------
- Init():SYM
-
-----------------------------------------------------------------------------
- Explode7(k:Equip):Comp -> NAT
-
-----------------------------------------------------------------------------
- Init7():SYM
-
-----------------------------------------------------------------------------
- CompCost7(k:Equip,n:NAT):Comp -> NAT
-
-----------------------------------------------------------------------------
Manual(s)
of io.cam mse.cam sets.cam ffs.cam txt.cam sql.cam.
No autor