Nuprl Definition : pv8_p1_AcceptorsP1a
pv8_p1_AcceptorsP1a(Cid;Op;eq_Cid;ldrs_uid) ==
let f = 
loc,z.let ldr,z = z in bnum_acc.{pv8_p1_p1b'send(Cid;Op) ldr <loc, bnum_acc>} in
f@Loc|Loc,pv8_p1_p1a'base(), 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_p1b'send: pv8_p1_p1b'send(Cid;Op),
pv8_p1_p1a'base: pv8_p1_p1a'base(),
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_AcceptorsP1a
pv8_p1_AcceptorsP1a
pv8\_p1\_AcceptorsP1a(Cid;Op;eq$_{Cid}$;ldrs$_{uid}$) ==
let f = \mlambda{}loc,z.let ldr,z = z in \mlambda{}bnum$_{acc}$.\{pv8\_p1\_p1b'send(Cid;Op) ldr <lo\000Cc, bnum$_{acc}$>\} in
f@Loc|Loc,pv8\_p1\_p1a'base(), pv8\_p1\_AcceptorState(Cid;Op;eq$_{Cid}$;ldrs\mbackslash{}f\000Cf24_{uid}$)|
Date html generated:
2012_02_20-PM-07_25_29
Last ObjectModification:
2012_02_06-PM-01_44_15
Home
Index