DataflowProgram(A) ==
B:{B:Type| valueall-type(B)}
S:{S:Type| valueall-type(S)}
S
(S 
A (S? bag(B)))
Definitions occuring in Statement :
unit: Unit,
set: {x:A| B[x]} ,
function: x:A B[x],
product: x:A B[x],
union: left + right,
universe: Type,
valueall-type: valueall-type(T)
Definitions :
set: {x:A| B[x]} ,
universe: Type,
valueall-type: valueall-type(T),
function: x:A B[x],
product: x:A B[x],
union: left + right,
unit: Unit,
bag: Error :bag
FDL editor aliases :
dataflow-program
DataflowProgram(A) ==
B:\{B:Type| valueall-type(B)\} \mtimes{} S:\{S:Type| valueall-type(S)\} \mtimes{} S \mtimes{} (S {}\mrightarrow{} A {}\mrightarrow{} (S? \mtimes{} bag(B)))
Date html generated:
2011_08_10-AM-08_24_26
Last ObjectModification:
2011_06_02-PM-03_26_06
Home
Index