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: 2015_07_21-PM-04_48_20
Last ObjectModification: 2013_02_16-AM-00_37_42

Home Index