---

first-eclass(Xs) ==
  eo,e.list_accum(b,X.if (bag-size(b) = 1) then b else X eo e fi ;{};Xs)

---

Definitions occuring in Statement :  eq_int: (i = j),  ifthenelse: if b then t else f fi ,  apply: f a,  lambda: x.A[x],  natural_number: $n,  list_accum: list_accum(x,a.f[x; a];y;l),  bag-size: bag-size(bs),  empty-bag: {}
Definitions :  lambda: x.A[x],  list_accum: list_accum(x,a.f[x; a];y;l),  ifthenelse: if b then t else f fi ,  eq_int: (i = j),  bag-size: bag-size(bs),  natural_number: $n,  apply: f a,  empty-bag: {}
FDL editor aliases :  first-eclass

---

first-eclass(Xs)  ==    \mlambda{}eo,e.list\_accum(b,X.if  (bag-size(b)  =\msubz{}  1)  then  b  else  X  eo  e  fi  ;\{\};Xs)


Date html generated: 2011_08_16-PM-04_18_13
Last ObjectModification: 2011_01_14-PM-11_25_29

Home Index