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