Nuprl Definition : es-info-body

msgval(e) ==  msg-body(info(e))



Definitions occuring in Statement :  msg-body: msg-body(msg) es-info: info(e)
FDL editor aliases :  es-info-body

Latex:
msgval(e)  ==    msg-body(info(e))



Date html generated: 2015_07_21-PM-04_48_43
Last ObjectModification: 2012_11_29-PM-06_20_00

Home Index