Nuprl Definition : pv8_p1_AcceptorsP2a
pv8_p1_AcceptorsP2a(Cid;Op;eq_Cid;ldrs_uid) ==
let f = 
loc,zk.let ldr,zl = zk in z.let bnum,z = z in {pv8_p1_p2b'send() ldr <loc, bnum>} in
f@Loc|Loc,pv8_p1_p2a'base(Cid;Op), pv8_p1_AcceptorState(Cid;Op;eq_Cid;ldrs_uid)|
Definitions occuring in Statement :
pv8_p1_AcceptorState: pv8_p1_AcceptorState(Cid;Op;eq_Cid;ldrs_uid),
pv8_p1_p2b'send: pv8_p1_p2b'send(),
pv8_p1_p2a'base: pv8_p1_p2a'base(Cid;Op),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|,
let: let,
apply: f a,
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
single-bag: {x}
FDL editor aliases :
pv8_p1_AcceptorsP2a
pv8_p1_AcceptorsP2a
pv8\_p1\_AcceptorsP2a(Cid;Op;eq$_{Cid}$;ldrs$_{uid}$) ==
let f = \mlambda{}loc,zk.let ldr,zl = zk in \mlambda{}z.let bnum,z = z in \{pv8\_p1\_p2b'send() ldr <loc, bnum>\} in
f@Loc|Loc,pv8\_p1\_p2a'base(Cid;Op), pv8\_p1\_AcceptorState(Cid;Op;eq$_{Cid}$;\000Cldrs$_{uid}$)|
Date html generated:
2012_02_20-PM-07_25_51
Last ObjectModification:
2012_02_06-PM-01_44_33
Home
Index