---

Private(A) ==  (fst(snd(snd(snd(snd(snd(snd(snd(snd(snd(snd(s)))))))))))) A

---

Definitions :  apply: f a,  pi1: fst(t),  pi2: snd(t)
FDL editor aliases :  ses-private

---

Private(A)  ==    (fst(snd(snd(snd(snd(snd(snd(snd(snd(snd(snd(s))))))))))))  A


Date html generated: 2010_08_28-AM-02_05_21
Last ObjectModification: 2010_02_22-PM-01_51_20

Home Index