Nuprl Definition : new_23_sig_vote'broadcast
new_23_sig_vote'broadcast(Cmd;notify;propose;f) ==
λlocs,z. bag-map(λl.mk-msg-interface(l;make-Msg(``new_23_sig vote``;z));locs)
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",
bag-map: bag-map(f;bs)
FDL editor aliases :
new_23_sig_vote'broadcast
Latex:
new\_23\_sig\_vote'broadcast(Cmd;notify;propose;f) ==
\mlambda{}locs,z. bag-map(\mlambda{}l.mk-msg-interface(l;make-Msg(``new\_23\_sig vote``;z));locs)
Date html generated:
2015_07_23-PM-03_49_44
Last ObjectModification:
2013_11_23-PM-09_54_17
Home
Index