null-dataflow() == rec-dataflow(
;s,a.<, {}>)
Definitions occuring in Statement :
rec-dataflow: rec-dataflow(s0;s,m.next[s; m]),
it: ,
pair: <a, b>
Definitions :
rec-dataflow: rec-dataflow(s0;s,m.next[s; m]),
pair: <a, b>,
it: ,
empty-bag: Error :empty-bag
FDL editor aliases :
null-dataflow
null-dataflow() == rec-dataflow(\mcdot{};s,a.<\mcdot{}, \{\}>)
Date html generated:
2011_08_10-AM-08_17_54
Last ObjectModification:
2011_02_03-PM-12_59_53
Home
Index