eclass-program{i:l}(Info) ==
A:{A:Type| valueall-type(A)} 
x:Id fp-> {dfp:DataflowProgram(Info)|
df-program-type(dfp) = A}
Definitions occuring in Statement :
df-program-type: df-program-type(dfp),
dataflow-program: DataflowProgram(A),
fpf: a:A fp-> B[a],
Id: Id,
set: {x:A| B[x]} ,
product: x:A B[x],
universe: Type,
equal: s = t,
valueall-type: valueall-type(T)
Definitions :
product: x:A B[x],
valueall-type: valueall-type(T),
fpf: a:A fp-> B[a],
Id: Id,
set: {x:A| B[x]} ,
dataflow-program: DataflowProgram(A),
equal: s = t,
universe: Type,
df-program-type: df-program-type(dfp)
FDL editor aliases :
eclass-program
eclass-program\{i:l\}(Info) ==
A:\{A:Type| valueall-type(A)\} \mtimes{} x:Id fp-> \{dfp:DataflowProgram(Info)| df-program-type(dfp) = A\}
Date html generated:
2011_08_16-PM-06_13_30
Last ObjectModification:
2011_06_06-AM-11_36_08
Home
Index