st-constant{i:l}(Info) == st:SimpleType 
[[st]]
Definitions occuring in Statement :
st-meaning: [[st]],
simple_type: SimpleType,
product: x:A B[x]
Definitions :
product: x:A B[x],
simple_type: SimpleType,
st-meaning: [[st]]
FDL editor aliases :
st-constant
st-constant\{i:l\}(Info) == st:SimpleType \mtimes{} [[st]]
Date html generated:
2011_08_17-PM-05_01_04
Last ObjectModification:
2011_05_04-PM-02_13_03
Home
Index