Nuprl Definition : make-msg-interface

make-msg-interface(i;l;m) ==  <i, l, m>


Definitions occuring in Statement :  pair: <a, b>
FDL editor aliases :  make-msg-interface
Latex:
make-msg-interface(i;l;m)  ==    <i,  l,  m>


Date html generated: 2016_05_17-AM-08_59_57
Last ObjectModification: 2012_11_29-PM-06_21_01

Theory : messages


Home Index