Nuprl Definition : pv8_p1_CommanderNotify
pv8_p1_CommanderNotify(Cid;Op;accpts) ==
bsp.send-once-loc-class(ldr.(pv8_p1_p2a'broadcast(Cid;Op) accpts <ldr, bsp>))
Definitions occuring in Statement :
pv8_p1_p2a'broadcast: pv8_p1_p2a'broadcast(Cid;Op),
send-once-loc-class: send-once-loc-class(b),
apply: f a,
lambda: x.A[x],
pair: <a, b>
FDL editor aliases :
pv8_p1_CommanderNotify
pv8_p1_CommanderNotify
pv8\_p1\_CommanderNotify(Cid;Op;accpts) ==
\mlambda{}bsp.send-once-loc-class(\mlambda{}ldr.(pv8\_p1\_p2a'broadcast(Cid;Op) accpts <ldr, bsp>))
Date html generated:
2012_02_20-PM-07_26_32
Last ObjectModification:
2012_02_06-PM-01_45_01
Home
Index