Nuprl Definition : new_23_sig_retry'send
new_23_sig_retry'send(Cmd;notify;propose;f) == λl,z. mk-msg-interface(l;make-Msg(``new_23_sig retry``;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 :
new_23_sig_retry'send
Latex:
new\_23\_sig\_retry'send(Cmd;notify;propose;f) ==
\mlambda{}l,z. mk-msg-interface(l;make-Msg(``new\_23\_sig retry``;z))
Date html generated:
2015_07_23-PM-03_49_49
Last ObjectModification:
2013_11_23-PM-09_54_24
Home
Index