NAME


SYNOPSYS

 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


DESCRIPTION

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
-----------------------------------------------------------------------------


SEE ALSO

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


AUTHOR

No autor