(e in X) ==  can-apply(X;e)



Definitions :  can-apply: can-apply(f;x)
FDL editor aliases :  es-is-interface

(e  in  X)  ==    can-apply(X;e)


Date html generated: 2010_08_27-AM-09_36_04
Last ObjectModification: 2009_12_16-AM-01_28_24

Home Index