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