---

(X|g=i) ==
  eo,e.
   let b = X eo e in
       if (bag-size(b) = 1) then if g e = i then b else {} fi  else {} fi 

---

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

---

(X|g=i)  ==
    \mlambda{}eo,e.let  b  =  X  eo  e  in  if  (bag-size(b)  =\msubz{}  1)  then  if  g  e  =  i  then  b  else  \{\}  fi    else  \{\}  fi 


Date html generated: 2011_08_16-PM-04_31_03
Last ObjectModification: 2011_01_15-PM-02_58_47

Home Index