es-interface-or-left(X) ==  x.oob-getleft?(x)[X]



Definitions occuring in Statement :  es-filter-image: f[X] lambda: x.A[x] oob-getleft?: oob-getleft?(x)
Definitions :  es-filter-image: f[X] lambda: x.A[x] oob-getleft?: oob-getleft?(x)
FDL editor aliases :  es-interface-or-left

es-interface-or-left(X)  ==    \mlambda{}x.oob-getleft?(x)[X]


Date html generated: 2011_08_16-PM-04_23_14
Last ObjectModification: 2011_01_15-AM-10_52_32

Home Index