---

es-interface-map(f;X) ==
  es,e.let b = X es e in if (bag-size(b) = 1) then f only(b) e else {} fi 

---

Definitions occuring in Statement :  eq_int: (i = j),  ifthenelse: if b then t else f fi ,  let: let,  apply: f a,  lambda: x.A[x],  natural_number: $n,  bag-only: only(bs),  bag-size: bag-size(bs),  empty-bag: {}
Definitions :  lambda: x.A[x],  let: let,  ifthenelse: if b then t else f fi ,  eq_int: (i = j),  bag-size: bag-size(bs),  natural_number: $n,  apply: f a,  bag-only: only(bs),  empty-bag: {}
FDL editor aliases :  es-interface-map

---

es-interface-map(f;X)  ==    \mlambda{}es,e.let  b  =  X  es  e  in  if  (bag-size(b)  =\msubz{}  1)  then  f  only(b)  e  else  \{\}  fi 


Date html generated: 2011_08_16-PM-04_17_11
Last ObjectModification: 2011_01_15-PM-01_17_45

Home Index