Nuprl Definition : msg-type

msg-type(msg;f) ==  f msg-header(msg)


Definitions occuring in Statement :  msg-header: msg-header(m),  apply: f a
FDL editor aliases :  msg-type
Latex:
msg-type(msg;f)  ==    f  msg-header(msg)


Date html generated: 2016_05_17-AM-08_50_30
Last ObjectModification: 2013_02_16-AM-00_37_42

Theory : messages


Home Index