Nuprl Definition : es-bless
e <loc e' == es-blocl(es;e;e')
Definitions occuring in Statement :
es-blocl: es-blocl(es;e1;e2)
FDL editor aliases :
es-bless
es-bless
e <loc e' == es-blocl(es;e;e')
Date html generated:
2015_07_17-AM-08_39_35
Last ObjectModification:
2013_03_25-PM-03_12_59
Home
Index