Nuprl Definition : new_23_sig_decided'broadcast
new_23_sig_decided'broadcast(Cmd;notify;propose;f) ==
λlocs,z. bag-map(λl.mk-msg-interface(l;make-Msg(``new_23_sig decided``;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_decided'broadcast
Latex:
new\_23\_sig\_decided'broadcast(Cmd;notify;propose;f) ==
\mlambda{}locs,z. bag-map(\mlambda{}l.mk-msg-interface(l;make-Msg(``new\_23\_sig decided``;z));locs)
Date html generated:
2016_05_17-PM-01_52_56
Last ObjectModification:
2013_11_23-PM-09_54_30
Theory : 2!3!consensus!with!signatures
Home
Index