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:
2015_07_21-PM-04_48_33
Last ObjectModification:
2013_02_14-AM-10_23_17
Home
Index