Nuprl Definition : mk-msg
mk-msg(auth;hdr;val) == <auth, make-basicMsg(hdr;val)>
Definitions occuring in Statement :
make-basicMsg: make-basicMsg(hdr;val),
pair: <a, b>
FDL editor aliases :
mk-msg
Latex:
mk-msg(auth;hdr;val) == <auth, make-basicMsg(hdr;val)>
Date html generated:
2015_07_21-PM-04_53_16
Last ObjectModification:
2014_08_04-PM-03_22_52
Home
Index