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: 2015_07_21-PM-04_53_21 Last ObjectModification: 2014_07_25-PM-02_22_12 Home Index