Nuprl Definition : pv11_p1_p2a'send

pv11_p1_p2a'send(Cmd;f) ==  λl,z. mk-msg-interface(l;make-Msg(``pv11_p1 p2a``;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_p2a'send

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



Date html generated: 2015_07_23-PM-04_48_47
Last ObjectModification: 2013_12_18-PM-06_15_55

Home Index