Nuprl Definition : pv8_p1_LeaderAdopted
pv8_p1_LeaderAdopted(Cid;Op;eq_Cid;ldrs_uid) ==
let f = 
loc,zt,z.let bnum,z,props = z in map(sp.<bnum, sp>;props) in
f@Loc|Loc,pv8_p1_adopted'base(Cid;Op), pv8_p1_LeaderState(Cid;Op;eq_Cid;ldrs_uid)|
Definitions occuring in Statement :
pv8_p1_LeaderState: pv8_p1_LeaderState(Cid;Op;eq_Cid;ldrs_uid),
pv8_p1_adopted'base: pv8_p1_adopted'base(Cid;Op),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|,
map: map(f;as),
let: let,
spreadn: spread3,
lambda: x.A[x],
pair: <a, b>
FDL editor aliases :
pv8_p1_LeaderAdopted
pv8_p1_LeaderAdopted
pv8\_p1\_LeaderAdopted(Cid;Op;eq$_{Cid}$;ldrs$_{uid}$) ==
let f = \mlambda{}loc,zt,z.let bnum,z,props = z in map(\mlambda{}sp.<bnum, sp>props) in
f@Loc|Loc,pv8\_p1\_adopted'base(Cid;Op), pv8\_p1\_LeaderState(Cid;Op;eq$_{Cid}\mbackslash{}ff2\000C4;ldrs$_{uid}$)|
Date html generated:
2012_02_20-PM-07_31_46
Last ObjectModification:
2012_02_06-PM-01_48_17
Home
Index