Temporary AbsInterface(es;A) == E 
(A + Top)
Definitions :
function: x:A B[x],
es-E: E,
union: left + right,
top: Top
FDL editor aliases :
es-interface
Temporary AbsInterface(es;A) == E {}\mrightarrow{} (A + Top)
Date html generated:
2010_08_27-AM-09_57_09
Last ObjectModification:
2010_01_25-PM-07_04_44
Home
Index