Nuprl Definition : make-basicMsg

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


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


Date html generated: 2016_05_17-AM-08_50_04
Last ObjectModification: 2014_07_25-PM-02_20_00

Theory : messages


Home Index