---

dataflow-set-class(x.P[x]) ==  es,e.dataflow-history-val(es;e;x.P[x])

---

Definitions :  lambda: x.A[x],  dataflow-history-val: dataflow-history-val(es;e;x.P[x])
FDL editor aliases :  dataflow-set-class

---

dataflow-set-class(x.P[x])  ==    \mlambda{}es,e.dataflow-history-val(es;e;x.P[x])


Date html generated: 2010_08_27-PM-03_34_49
Last ObjectModification: 2010_02_09-PM-12_06_25

Home Index