---

(X | Y) ==  eclass-compose2(xs,ys.oob-apply(xs;ys);X;Y)

---

Definitions occuring in Statement :  eclass-compose2: eclass-compose2(f;X;Y),  lambda: x.A[x],  oob-apply: oob-apply(xs;ys)
Definitions :  eclass-compose2: eclass-compose2(f;X;Y),  lambda: x.A[x],  oob-apply: oob-apply(xs;ys)
FDL editor aliases :  es-interface-or

---

(X  |  Y)  ==    eclass-compose2(\mlambda{}xs,ys.oob-apply(xs;ys);X;Y)


Date html generated: 2011_08_16-PM-04_22_28
Last ObjectModification: 2011_01_15-AM-10_58_40

Home Index