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