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: 2015_07_21-PM-04_48_09
Last ObjectModification: 2014_07_25-PM-02_20_00

Home Index