---

es-info-kind(x) ==  fst(snd(x))

---

Definitions :  pi1: fst(t),  pi2: snd(t)
FDL editor aliases :  es-info-kind

---

es-info-kind(x)  ==    fst(snd(x))


Date html generated: 2010_08_27-AM-09_32_36
Last ObjectModification: 2009_12_16-AM-01_11_23

Home Index