---

Base(hdrs)@locs ==
  es,e.
   if deq-member(IdDeq;loc(e);locs)  deq-member(NameDeq;fst(info(e));hdrs)
   then {info(e)}
   else {}
   fi 

---

Definitions occuring in Statement :  es-info: info(e),  es-loc: loc(e),  id-deq: IdDeq,  name-deq: NameDeq,  band: p  q,  ifthenelse: if b then t else f fi ,  pi1: fst(t),  lambda: x.A[x],  deq-member: deq-member(eq;x;L),  single-bag: {x},  empty-bag: {}
Definitions :  lambda: x.A[x],  ifthenelse: if b then t else f fi ,  band: p  q,  id-deq: IdDeq,  es-loc: loc(e),  deq-member: deq-member(eq;x;L),  name-deq: NameDeq,  pi1: fst(t),  single-bag: {x},  es-info: info(e),  empty-bag: {}
FDL editor aliases :  base-locs-headers

---

Base(hdrs)@locs  ==
    \mlambda{}es,e.
      if  deq-member(IdDeq;loc(e);locs)  \mwedge{}\msubb{}  deq-member(NameDeq;fst(info(e));hdrs)
      then  \{info(e)\}
      else  \{\}
      fi 


Date html generated: 2011_08_17-PM-04_15_20
Last ObjectModification: 2011_04_26-PM-04_32_30

Home Index