CI == dd:DeclSet 
T:Type (es-information-type(dd) 
(T + Top))
Definitions :
es-decl-set: DeclSet,
product: x:A B[x],
universe: Type,
function: x:A B[x],
es-information-type: es-information-type(dd),
union: left + right,
top: Top
FDL editor aliases :
concrete-interface
CI == dd:DeclSet \mtimes{} T:Type \mtimes{} (es-information-type(dd) {}\mrightarrow{} (T + Top))
Date html generated:
2010_08_27-AM-09_36_05
Last ObjectModification:
2009_12_16-AM-01_41_42
Home
Index