Nuprl Definition : pv8_p1_on_p1a
pv8_p1_on_p1a(Cid;Op;ldrs_uid) ==
loc,zf.let zg,x = zf in z.let ballot_num,accepted = z in <pv8_p1_max_bnum(ldrs_uid) x ballot_num, accepted>
Definitions occuring in Statement :
pv8_p1_max_bnum: pv8_p1_max_bnum(ldrs_uid),
apply: f a,
lambda: x.A[x],
spread: spread def,
pair: <a, b>
FDL editor aliases :
pv8_p1_on_p1a
pv8_p1_on_p1a
pv8\_p1\_on\_p1a(Cid;Op;ldrs$_{uid}$) ==
\mlambda{}loc,zf.
let zg,x = zf
in \mlambda{}z.let ballot$_{num}$,accepted = z
in <pv8\_p1\_max\_bnum(ldrs$_{uid}$) x ballot$_{num}$,\000C accepted>
Date html generated:
2012_02_20-PM-07_24_35
Last ObjectModification:
2012_02_06-PM-01_43_42
Home
Index