---

X@i ==  es,e.if loc(e) = i then X es e else {} fi 

---

Definitions occuring in Statement :  es-loc: loc(e),  eq_id: a = b,  ifthenelse: if b then t else f fi ,  apply: f a,  lambda: x.A[x],  empty-bag: {}
Definitions :  lambda: x.A[x],  ifthenelse: if b then t else f fi ,  eq_id: a = b,  es-loc: loc(e),  apply: f a,  empty-bag: {}
FDL editor aliases :  es-interface-at

---

X@i  ==    \mlambda{}es,e.if  loc(e)  =  i  then  X  es  e  else  \{\}  fi 


Date html generated: 2011_08_16-PM-04_30_18
Last ObjectModification: 2011_01_15-PM-02_48_37

Home Index