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: 2016_05_17-AM-08_51_21
Last ObjectModification: 2012_11_29-PM-06_20_00

Theory : messages


Home Index