Nuprl Definition : make-Msg

make-Msg(hdr;val) ==  <ff, make-basicMsg(hdr;val)>


Definitions occuring in Statement :  make-basicMsg: make-basicMsg(hdr;val),  bfalse: ff,  pair: <a, b>
FDL editor aliases :  make-Msg
Latex:
make-Msg(hdr;val)  ==    <ff,  make-basicMsg(hdr;val)>


Date html generated: 2016_05_17-AM-08_57_37
Last ObjectModification: 2014_07_25-PM-02_22_12

Theory : messages


Home Index