Nuprl Definition : es-info-type
es-info-type(es;e;f) ==  msg-type(info(e);f)
Definitions occuring in Statement : 
msg-type: msg-type(msg;f)
, 
es-info: info(e)
FDL editor aliases : 
es-info-type
Latex:
es-info-type(es;e;f)  ==    msg-type(info(e);f)
Date html generated:
2016_05_17-AM-08_51_00
Last ObjectModification:
2013_02_14-AM-10_23_17
Theory : messages
Home
Index