---

Collect(X;x.num[x];L.P[L]) ==
  collect_filter()[es-interface-accum(collect_accm(L.P[L]; x.num[x]);<-1
                                      , []
                                      , inr 0 >;X)]

---

Definitions :  es-filter-image: f[X],  collect_filter: collect_filter(),  es-interface-accum: es-interface-accum(f;x;X),  collect_accm: collect_accm(v.P[v];v.num[v]),  minus: -n,  pair: <a, b>,  nil: [],  inr: inr x ,  natural_number: $n
FDL editor aliases :  es-collect

---

Collect(X;x.num[x];L.P[L])  ==
    collect\_filter()[es-interface-accum(collect\_accm(L.P[L];  x.num[x]);<-1,  [],  inr  0  >X)]


Date html generated: 2010_08_27-PM-02_52_21
Last ObjectModification: 2010_03_26-AM-01_07_17

Home Index