Nuprl Definition : new_23_sig_commands_from_votes
new_23_sig_commands_from_votes(Cmd;notify;propose;f;es;e;e';n;r) ==
mapfilter(λe.(snd(fst(msgval(e))));λe'.new_23_sig_vote_with_ballot_first(Cmd;notify;propose;f;es.e;e';n;r);[e, e'])
Definitions occuring in Statement :
new_23_sig_vote_with_ballot_first: new_23_sig_vote_with_ballot_first(Cmd;notify;propose;f;es;e;n;r),
es-info-body: msgval(e),
eo-forward: eo.e,
es-interval: [e, e'],
mapfilter: mapfilter(f;P;L),
pi1: fst(t),
pi2: snd(t),
lambda: λx.A[x]
FDL editor aliases :
new_23_sig_commands_from_votes
Latex:
new\_23\_sig\_commands\_from\_votes(Cmd;notify;propose;f;es;e;e';n;r) ==
mapfilter(\mlambda{}e.(snd(fst(msgval(e))));
\mlambda{}e'.new\_23\_sig\_vote\_with\_ballot\_first(Cmd;notify;propose;f;es.e;e';n;r);
[e, e'])
Date html generated:
2015_07_23-PM-04_01_50
Last ObjectModification:
2015_01_17-PM-02_40_54
Home
Index