Nuprl Definition : new_23_sig_notify'broadcast
new_23_sig_notify'broadcast(Cmd;notify;propose;f) == λlocs,z. bag-map(λl.mk-msg-interface(l;make-Msg(notify;z));locs)
Definitions occuring in Statement :
mk-msg-interface: mk-msg-interface(l;m),
make-Msg: make-Msg(hdr;val),
lambda: λx.A[x],
bag-map: bag-map(f;bs)
FDL editor aliases :
new_23_sig_notify'broadcast
Latex:
new\_23\_sig\_notify'broadcast(Cmd;notify;propose;f) ==
\mlambda{}locs,z. bag-map(\mlambda{}l.mk-msg-interface(l;make-Msg(notify;z));locs)
Date html generated:
2015_07_23-PM-03_50_01
Last ObjectModification:
2013_11_23-PM-09_54_33
Home
Index