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