---

BaseClass(h;T) ==
  es,e.
   let hdr,ty,v = info(e) in 
   if name_eq(hdr;h)  ty == T then {v} else {} fi 

---

Definitions occuring in Statement :  es-info: info(e),  name_eq: name_eq(x;y),  band: p  q,  ifthenelse: if b then t else f fi ,  spreadn: spread3,  lambda: x.A[x],  single-bag: {x},  empty-bag: {},  eq_term: a == b
Definitions :  lambda: x.A[x],  spreadn: spread3,  es-info: info(e),  ifthenelse: if b then t else f fi ,  band: p  q,  name_eq: name_eq(x;y),  single-bag: {x},  empty-bag: {}
FDL editor aliases :  baseclass

---

BaseClass(h;T)  ==    \mlambda{}es,e.let  hdr,ty,v  =  info(e)  in  if  name\_eq(hdr;h)  \mwedge{}\msubb{}  ty  ==  T  then  \{v\}  else  \{\}  fi 


Date html generated: 2011_08_17-PM-04_14_30
Last ObjectModification: 2011_01_28-PM-11_41_06

Home Index