Nuprl Definition : pv11_p1_p1b'send

pv11_p1_p1b'send(Cmd;mf) ==  λl,z. mk-msg-interface(l;make-Msg(``pv11_p1 p1b``;z))



Definitions occuring in Statement :  mk-msg-interface: mk-msg-interface(l;m) make-Msg: make-Msg(hdr;val) cons: [a b] nil: [] lambda: λx.A[x] token: "$token"
FDL editor aliases :  pv11_p1_p1b'send

Latex:
pv11\_p1\_p1b'send(Cmd;mf)  ==    \mlambda{}l,z.  mk-msg-interface(l;make-Msg(``pv11\_p1  p1b``;z))



Date html generated: 2015_07_23-PM-04_12_00
Last ObjectModification: 2014_11_26-AM-11_23_34

Home Index