---

bind-dataflow(P;a.Q[a]) ==  bind-dataflow-aux(P;{};a.Q[a])

---

Definitions occuring in Statement :  bind-dataflow-aux: bind-dataflow-aux(P;dfs;a.Q[a]),  empty-bag: {}
Definitions :  bind-dataflow-aux: bind-dataflow-aux(P;dfs;a.Q[a]),  empty-bag: {}
FDL editor aliases :  bind-dataflow

---

bind-dataflow(P;a.Q[a])  ==    bind-dataflow-aux(P;\{\};a.Q[a])


Date html generated: 2011_08_16-AM-09_49_33
Last ObjectModification: 2011_04_27-PM-01_31_13

Home Index