Nuprl Definition : es-is-interface
(e in X) == can-apply(X;e)
Definitions occuring in Statement :
can-apply: can-apply(f;x)
FDL editor aliases :
es-is-interface
es-is-interface
(e in X) == can-apply(X;e)
Date html generated:
2015_07_17-AM-08_57_40
Last ObjectModification:
2013_03_25-PM-01_54_03
Home
Index