Nuprl Definition : comm-msg

comm-msg(c) ==  c.val


Definitions occuring in Statement :  tagged-val: x.val
FDL editor aliases :  comm-msg
Latex:
comm-msg(c)  ==    c.val


Date html generated: 2015_07_23-AM-11_07_04
Last ObjectModification: 2012_02_25-PM-03_37_35

Home Index