Nuprl Definition : pv11_p1_preempted'send

pv11_p1_preempted'send(Cmd;mf) ==  λl,z. mk-msg-interface(l;make-Msg(``pv11_p1 preempted``;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_preempted'send

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



Date html generated: 2015_07_23-PM-04_12_17
Last ObjectModification: 2014_11_26-AM-11_24_14

Home Index