---

Base(hdr;typ) ==  es,e.cond-msg-body(hdr;typ;info(e))

---

Definitions occuring in Statement :  cond-msg-body: cond-msg-body(hdr;typ;m),  es-info: info(e),  lambda: x.A[x]
Definitions :  lambda: x.A[x],  cond-msg-body: cond-msg-body(hdr;typ;m),  es-info: info(e)
FDL editor aliases :  base-headers-msg-val

---

Base(hdr;typ)  ==    \mlambda{}es,e.cond-msg-body(hdr;typ;info(e))


Date html generated: 2011_08_17-PM-04_00_52
Last ObjectModification: 2011_06_20-PM-01_12_48

Home Index