---

ds(dd;i) ==  (fst(snd(dd))) i

---

Definitions :  apply: f a,  pi1: fst(t),  pi2: snd(t)
FDL editor aliases :  es-decl-set-ds

---

ds(dd;i)  ==    (fst(snd(dd)))  i


Date html generated: 2010_08_27-AM-09_31_48
Last ObjectModification: 2009_12_16-AM-01_08_54

Home Index